53 Commits

All Branches

Search

Author	SHA1	Message	Date
David Evans	711019275e	Add github links to readme	2017-10-23 01:56:46 +01:00
David Evans	cfa0fecc0e	Rename main page for github pages compatibility	2017-10-23 01:52:26 +01:00
David Evans	6eb8de8160	Basic functionality (agents and labelled arrows)	2017-10-23 01:46:43 +01:00