8 Commits

Author	SHA1	Message	Date
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	b915a30dee	Docs: mention what to do if IntelliJ complains about lack of a jdk	2015-12-08 16:47:45 +01:00
Mike Hearn	e5a36580da	Visualiser: reorganise, make it easier to invoke, document it.	2015-12-03 12:00:49 +00:00
Mike Hearn	31ca78533b	Docs: regen HTML	2015-12-02 09:50:31 +00:00
Mike Hearn	8ea4ac8b15	Rename 'playground' to 'R3 Prototyping'	2015-11-30 17:00:25 +00:00
Mike Hearn	2f1a91c101	Docs: regenerate the HTML	2015-11-25 18:49:58 +01:00
Mike Hearn	766040da57	Documentation HTML build	2015-11-25 18:01:38 +01:00