src/Pure/System/session.scala
2013-04-09 ago just one timing protocol function, with 3 implementations: TTY/PG, PIDE/document, build;
2013-02-10 ago avoid crash (NPE) when properties are changed during prover startup (e.g. by font scaling);
2013-01-18 ago more systematic task statistics;
2013-01-05 ago ignore vacuous edits (e.g. stemming from Plugin.init_models) to avoid pointless protocol round-trip, which could lead to painting of outdated snapshot in the meantime (notably on Windows);
2013-01-03 ago improved Monitor_Dockable, based on ML_Statistics operations;
2012-12-16 ago tuned signature: use thy_load to adapt to prover/editor specific view on sources;
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-08 ago basic monitor panel, using the powerful jfreechart library;
2012-12-05 ago tuned signature in accordance to document operations;
2012-12-04 ago emit bulk edits on initialization of multiple buffers, which greatly improves performance when starting big sessions (e.g. JinjaThreads);
2012-11-28 ago some support for ML runtime statistics;
2012-11-25 ago Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-11-18 ago update options via protocol;
2012-09-22 ago Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;
2012-09-22 ago tuned signature;
2012-09-20 ago more management of Invoke_Scala tasks;
2012-09-18 ago some actual rich text markup via XML.content_markup;
2012-09-11 ago prefer tuning parameters as public methods (again) -- to allow overriding in applications;
2012-09-11 ago more options;
2012-09-10 ago option jedit_load_delay;
2012-09-07 ago postpone update of text overview panel after incoming session edits, to improve reactivity of editing massive theories like src/HOL/Multivariate_Analysis;
2012-08-29 ago clarified handling of raw output messages;
2012-08-22 ago clarified global get_recent_syntax: session always has its base_syntax, but it might be absent itself;
2012-08-21 ago clarified initialization of Thy_Load, Thy_Info, Session;
2012-08-14 ago check_errors for cumulative session content;
2012-08-14 ago added jedit option -d;
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 more token markers, based on actual outer syntax;
2012-08-07 ago simplified process startup phases: INIT suffices for is_ready;
2012-08-07 ago prefer static Build.session_content for loaded theories -- discontinued incremental protocol;
2012-08-07 ago prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol;
2012-08-07 ago simplified Document.Node.Header -- internalized errors;
2012-07-22 ago determine source dependencies, relatively to preloaded theories;
2012-05-29 ago clarified prover startup: no timeout, read stderr more carefully;
2012-05-29 ago more explicit treatment of return code vs. session phase;
2012-04-21 ago some builtin session timing;
2012-04-20 ago simplified internal actor protocol;
2012-04-07 ago init message not bad;
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-19 ago explicit propagation of assignment event, even if changed command set is empty;
2012-03-15 ago more recent recent_syntax, e.g. relevant for document rendering during startup;
2012-03-15 ago basic support for outer syntax keywords in theory header;
2012-03-15 ago maintain Version.syntax within document state;
2012-03-03 ago clarified terminology of raw protocol messages;
2012-03-03 ago tuned signature -- emphasize Isabelle_Process Input vs. Output;
2012-03-03 ago explicit syslog_limit reduces danger of low-level message flooding;
2012-03-01 ago clarified document nodes (full import graph) vs. node_status (non-preloaded theories);
2012-02-29 ago clarified module Thy_Load;
2012-02-26 ago tuned signature (in accordance with ML);
2012-02-26 ago tuned signature;
2012-02-23 ago streamlined abstract datatype;
2012-02-21 ago tuned;
2012-01-12 ago added cat_lines convenience;
2012-01-05 ago prefer raw_message for protocol implementation;
2012-01-05 ago prefer raw_message for protocol implementation;
2012-01-05 ago prefer raw_message for protocol implementation;