Mike Hearn b915a30dee Docs: mention what to do if IntelliJ complains about lack of a jdk		2015-12-08 16:47:45 +01:00
..
build/html	Docs: mention what to do if IntelliJ complains about lack of a jdk	2015-12-08 16:47:45 +01:00
source	Docs: mention what to do if IntelliJ complains about lack of a jdk	2015-12-08 16:47:45 +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