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-05-14 ago more uniform Markup.print_real;
2013-05-14 ago more uniform Markup.parse_real;
2013-05-12 ago more standard Isabelle/ML operations -- avoid inaccurate Bool.fromString;
2013-04-09 ago tuned signature;
2013-04-05 ago unified terminology with Markup.DOCUMENT_SOURCE in Scala, which is unused but displayed as "document source" entity in Isabelle/jEdit;
2013-04-03 ago additional timing status for implicitly forked terminal proofs -- proper accounting for interactive Timing dockable etc.;
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-02-20 ago more tight representation of command timing;
2013-02-19 ago support for build passing timings from Scala to ML;
2013-02-19 ago support for prescient timing information within command transactions;
2013-02-19 ago emit command_timing properties into build log;
2013-01-18 ago more systematic task statistics;
2013-01-16 ago identify future results more carefully, to avoid odd duplication of error messages, notably from forked goals;
2013-01-12 ago immediate theory progress for build_dialog;
2013-01-12 ago tuned signature;
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;
2013-01-02 ago inline ML statistics into build log;
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-14 ago more subgoal markup information, which is potentially useful to manage proof state output;
2012-12-13 ago enable Isabelle/ML to produce uninterpreted result messages as well;
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-03-13 ago allow redefining pretty/markup modes (not output due to bootstrap issues) -- to support reloading of theory src/HOL/src/Tools/Code_Generator;
2011-11-29 ago clarified Time vs. Timing;
2011-11-29 ago rearranged files;