5 Commits

Author	SHA1	Message	Date
David Evans	12f81b4f9d	Begin introducing concept of agents and tokens having metadata	2017-10-29 22:30:02 +00:00
David Evans	55b5232fa6	Add autocomplete to editor [#4]	2017-10-29 16:41:33 +00:00
David Evans	4d301adf31	Add syntax colouring [#4]	2017-10-28 22:16:44 +01:00
David Evans	76534cd844	Enforce minimum preview scale, plus scrolling	2017-10-28 00:34:59 +01:00
David Evans	6eb8de8160	Basic functionality (agents and labelled arrows)	2017-10-23 01:46:43 +01:00