fixed isabelle loading
isabelle related
added json file formats doc
updated formats
fixed incorrect is_wire_vertex field
Remove erroneous @override annotation
trying to pin down interior vertex in bbox on RHS error
fixed incorrect default theory
hunting for subtle renaming error for interior nodes in bboxes
seems to have fixed bug, but need to remove prints
exception caused by edges in bboxes now fixed
removed dependency on CData by using plan XML Text for XML output of table entry names
Merge branch 'integration' of https://github.com/Quantomatic/quantomatic into par_matching
Cleaning up. Phase 1. Moved to PolyML 5.5 + merged integration