Commit Graph

155 Commits

Author SHA1 Message Date
David Evans 1449d73194 Simplify column positioning, automatic reordering where guaranteed safe 2017-10-23 22:02:59 +01:00
David Evans 45295a3843 Simplify connection handling 2017-10-23 20:31:24 +01:00
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