4 Commits

Author	SHA1	Message	Date
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
Richard Green	e1bcfd197b	Documentation regen	2016-04-13 10:29:54 +01:00
Mike Hearn	bc5f29c5ee	Regen docsite	2016-03-14 16:57:36 +01:00