src/Pure/PIDE/isar_document.ML
2011-08-13 wenzelm 2011-08-13 clarified node header -- exclude master_dir;
2011-08-11 wenzelm 2011-08-11 uniform treatment of header edits as document edits;
2011-08-11 wenzelm 2011-08-11 explicit datatypes for document node edits;
2011-07-12 wenzelm 2011-07-12 tuned XML modules;
2011-07-11 wenzelm 2011-07-11 JVM method invocation service via Scala layer;
2011-07-10 wenzelm 2011-07-10 inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control); tuned signature;
2011-07-10 wenzelm 2011-07-10 simplified XML_Data;
2011-07-10 wenzelm 2011-07-10 propagate header changes to prover process; simplified Document case classes; Document.State.assignments: indexed by Version_ID;
2011-07-08 wenzelm 2011-07-08 moved global state to structure Document (again);
2011-07-05 wenzelm 2011-07-05 get theory from last executation state; tuned error messages;
2011-07-05 wenzelm 2011-07-05 clarified cancel_execution/await_cancellation;
2011-07-05 wenzelm 2011-07-05 tuned signature; tuned;
2011-01-27 wenzelm 2011-01-27 cancel document execution before editing, to improve reactivity on systems with few cores;
2010-08-20 wenzelm 2010-08-20 concentrate protocol message formats in Isar_Document;
2010-08-19 wenzelm 2010-08-19 moved Isar_Document to Pure/PIDE;