Commit Graph

10 Commits

Author SHA1 Message Date
David Evans 01e43fd3eb Simplify rendered SVGs slightly and add support for Safari 2017-11-09 20:09:16 +00:00
David Evans ddb4430ed2 Add support for aliases, and fix various issues when using the same agent multiple times in a statement [#19] 2017-11-05 17:10:06 +00:00
David Evans 4384afdd03 Add GitHub link and tweak flags code suggestions 2017-11-05 14:59:18 +00:00
David Evans 1016f9aac0 Report errors beneath code [#5] 2017-10-30 22:35:38 +00:00
David Evans 21977a601d Highlight lines with syntax errors 2017-10-30 22:02:08 +00:00
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