2012-12-12 ago support dialog via document content;
2012-11-25 ago Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-10-18 ago more basic Goal.reset_futures as snapshot of implicit state;
2012-09-28 ago smarter handling of tracing messages;
2012-09-20 ago more management of Invoke_Scala tasks;
2012-09-01 ago central management of forked goals wrt. transaction id;
2012-08-26 ago theory def/ref position reports, which enable hyperlinks etc.;
2012-08-20 ago added keyword kind "thy_load" (with optional list of file extensions);
2012-08-10 ago apply all text edits to each node, before determining the resulting doc_edits -- allow several iterations to consolidate spans etc.;
2012-08-07 ago simplified Document.Node.Header -- internalized errors;
2012-04-11 ago just one dedicated execution per document version -- NB: non-monotonicity of cancel always requires fresh update;
2012-04-09 ago simplified Future.cancel/cancel_group (again) -- running threads only;
2012-04-06 ago discontinued obsolete last_execs (cf. cd3ab7625519);
2012-04-06 ago discontinued Document.update_perspective side-entry (cf. 546adfa8a6fc) -- NB: re-assignment is always necessary due to non-monotonic cancel_execution;
2012-04-05 ago less aggressive discontinue_execution before document update, to avoid unstable execs that need to be re-assigned;
2012-03-15 ago some support for outer syntax keyword declarations within theory header;
2012-03-03 ago clarified terminology of raw protocol messages;
2012-01-05 ago tuned signature -- emphasize special nature of protocol commands;
2011-12-01 ago clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;