4 Commits

Author	SHA1	Message	Date
David Evans	f6ddf9443e	Maintain current selection when swapping editor for CodeMirror	2018-01-22 19:52:18 +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	6eb8de8160	Basic functionality (agents and labelled arrows)	2017-10-23 01:46:43 +01:00