Mike Hearn d420b1e785 Minor: widen the doc area in the docsite by 200px, stops code overflowing and results in more space for text.

2016-02-18 17:54:41 +01:00

..

build/html

Regen docsite

2016-02-05 15:54:38 +01:00

source

Minor: widen the doc area in the docsite by 200px, stops code overflowing and results in more space for text.

2016-02-18 17:54:41 +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