Clinton Alexander 0ea6a88682 Merged in clint-docscriptfix (pull request #438) ...

Merged the two docsite generation scripts.

2016-11-04 16:00:50 +00:00

..

build/html

Regen docsite

2016-10-12 12:24:38 +02:00

source

Merged in clint-docscriptfix (pull request #438)

2016-11-04 16:00:50 +00:00

generate-docsite.sh

Merged the two docsite generation scripts.

2016-11-03 13:53:31 +00: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

requirements.txt

docs: Add build_docs.sh

2016-07-11 12:17:18 +01:00