6 Commits

Author	SHA1	Message	Date
Ian Gulliver	057856a2d2	Auto-populate groups based on highlighted entries	2019-07-11 04:25:06 +00:00
Ian Gulliver	703be7aa75	Add help	2019-07-10 21:32:52 +00:00
Ian Gulliver	04ec47e393	Rip out all the graphviz stuff	2019-07-10 20:34:44 +00:00
Ian Gulliver	56ff0d1201	Add EditorLabel	2019-07-10 04:09:54 +00:00
Ian Gulliver	b91b92eef3	Broken, but checkpoint editor/graph/layout split	2019-07-03 18:13:11 +00:00
Ian Gulliver	5824f516b0	Split into file-per-class	2019-07-03 01:42:17 +00:00