2014-02-17 ago more markup;
2014-02-15 ago more uniform ML keyword markup;
2014-02-11 ago "no_memory" option for the simplifier trace to bypass memoization
2014-02-04 ago interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2014-01-18 ago support for nested text cartouches;
2013-12-09 ago added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;
2013-09-03 ago cases: more position information and PIDE markup;
2013-08-17 ago some protocol to determine provers according to ML;
2013-08-06 ago tuned -- more explicit type Status.Value;
2013-08-06 ago more explicit status for query operation;
2013-08-02 ago more general Output.result: allow to update arbitrary properties;
2013-07-30 ago less aggressive flushing: cope with massive amounts of protocol messages, e.g. from threads_trace;
2013-07-18 ago explicit padding on command boundary for "auto" generated sendback -- do not replace the corresponding goal command, but append to it;
2013-07-13 ago more explicit Markup.information for messages produced by "auto" tools;
2013-07-09 ago tuned protocol terminology;
2013-05-22 ago explicit management of Session.Protocol_Handlers, with protocol state and functions;
2013-04-29 ago clarified module dependencies: avoid Properties and Document introding minimal "PIDE";
2013-04-09 ago just one timing protocol function, with 3 implementations: TTY/PG, PIDE/document, build;
2013-03-28 ago ghost bullet via markup, which is painted as bar under text (normally space);
2013-03-28 ago basic support for Pretty.item, which is considered as logical markup and interpreted in Isabelle/Scala, but ignored elsewhere (TTY, latex etc.);
2013-01-18 ago more systematic task statistics;
2013-01-09 ago standardized treatment of timing properties;
2013-01-04 ago prefer old graph browser in Isabelle/jEdit, which still produces better layout;
2012-12-15 ago explicit text_fold markup, which is used by default in Pretty.chunks/chunks2;
2012-12-15 ago fold main goal;
2012-12-13 ago enable Isabelle/ML to produce uninterpreted result messages as well;
2012-12-13 ago more careful handling of Dialog_Result, with active area and color feedback;
2012-12-13 ago identify dialogs via official serial and maintain as result message;
2012-12-12 ago rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;
2012-12-12 ago support dialog via document content;
2012-12-10 ago generalized notion of active area, where sendback is just one application;
2012-11-28 ago some support for ML runtime statistics;
2012-11-26 ago more general sendback properties;
2012-11-25 ago Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-09-27 ago removed obsolete org.w3c.dom operations;
2011-11-29 ago clarified Time vs. Timing;
2011-11-29 ago separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
2011-11-29 ago rearranged files;