Andrius Dagys 3674a547d5 Minor: Fix typos in documentation		2016-04-04 13:48:13 +01:00
..
build/html	Regen docsite	2016-03-21 16:54:20 +00:00
source	Minor: Fix typos in documentation	2016-04-04 13:48:13 +01:00
Makefile	Introduce documentation of the current prototype with a contract programming tutorial (incomplete), using the Sphinx docs engine.	2015-11-25 18:01:37 +01:00