18 Commits

Author	SHA1	Message	Date
Mike Hearn	1e9f97f890	Docs: regen docsite for new where to start page.	2016-05-23 18:54:38 +02:00
Mike Hearn	8488e4d3ff	Regen docsite	2016-05-23 18:05:37 +02:00
Mike Hearn	7499f7cf1f	Regen docsite	2016-05-09 18:13:23 +02:00
Ross Nicoll	20c6be193a	Move tutorial.rst to tutorial_contract.rst ... Move tutorial.rst to tutorial_contract.rst and rebuild docs	2016-05-09 10:20:40 +01:00
Ross Nicoll	31da33425e	Rebuild user documentation	2016-04-28 17:44:33 +01:00
Mike Hearn	45e89fe4ad	Docsite: add info on how to run the IRS demo and rename the demos section	2016-04-18 19:44:21 +02:00
Mike Hearn	d08f7905df	Regen docsite and link IRS page into it (was previously invisible)	2016-04-18 19:25:41 +02:00
Mike Hearn	bc5f29c5ee	Regen docsite	2016-03-14 16:57:36 +01:00
Mike Hearn	0476de6560	Regen docsite and include Dokka API docs for the first time	2016-03-08 18:30:52 +01:00
Mike Hearn	2dcd9c223a	Regen docsite	2016-03-04 16:16:03 +01:00
Mike Hearn	dfc15a6bab	Regen docsite	2016-02-25 13:29:28 +01:00
Mike Hearn	9a818247bb	Re-gen docsite	2016-02-03 16:57:01 +01:00
Mike Hearn	52d30b4870	Regen docsite.	2016-01-27 15:07:46 +00:00
Mike Hearn	89b1a5648b	Docs: regen HTML + reorganise left hand menu a bit.	2015-12-22 15:15:38 +00:00
Mike Hearn	62f7237364	Docs: regen HTML	2015-12-14 18:22:54 +01:00
Mike Hearn	e5a36580da	Visualiser: reorganise, make it easier to invoke, document it.	2015-12-03 12:00:49 +00:00
Mike Hearn	8ea4ac8b15	Rename 'playground' to 'R3 Prototyping'	2015-11-30 17:00:25 +00:00
Mike Hearn	766040da57	Documentation HTML build	2015-11-25 18:01:38 +01:00