Gavin Thomas 458387ebe8 Updated release notes to fix minor typos (#1779) ... Fixed bold type on simplified annotation driven scanning bullet and added bold type to module name bullets		2017-10-03 09:01:00 +01:00
..
source	Updated release notes to fix minor typos (#1779)	2017-10-03 09:01:00 +01:00
build.gradle	Docs: more package descriptions and take non-stabilised APIs out of the docs build. (#1775)	2017-10-02 16:54:13 +01:00
index.html	Added a convenience HTML file for redirecting to the main docs.	2016-11-22 11:56:46 +00:00
install-docsite-requirements.sh	Make virtualenv installable if the checkout path has whitespace. (#1187)	2017-08-18 13:31:00 +01:00
make-docsite.sh	Fix RPC documentation	2017-05-11 17:44: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
packages.md	Docs: more package descriptions and take non-stabilised APIs out of the docs build. (#1775)	2017-10-02 16:54:13 +01:00
requirements.txt	docs: Add build_docs.sh	2016-07-11 12:17:18 +01:00