2013-11-22 ago tuned messages;
2013-11-19 ago clarified Document.Blobs environment vs. actual edits of auxiliary files;
2013-11-19 ago maintain blobs within document state: digest + text in ML, digest-only in Scala;
2013-11-16 ago more distinctive Isabelle_Process.Output vs. Isabelle_Process.Protocol_Output;
2013-11-15 ago more specific Protocol_Output: empty message.body, main content via bytes/text;
2013-08-17 ago public access for protocol handlers and protocol commands -- to be used within reason;
2013-08-09 ago cancel_query via direct access to the exec_id of the running query process;
2013-07-30 ago less aggressive flushing: cope with massive amounts of protocol messages, e.g. from threads_trace;
2013-07-29 ago show displaced messages (e.g. from protocol thread) as raw output;
2013-07-29 ago obsolete;
2013-07-13 ago update_options with full update, e.g. required for re-assignment of Command.prints;
2013-07-09 ago tuned protocol terminology;
2013-07-05 ago tuned signature;
2013-07-05 ago explicit module Document_ID as source of globally unique identifiers across ML/Scala;
2013-05-22 ago stop protocol handlers as well;
2013-05-22 ago explicit management of Session.Protocol_Handlers, with protocol state and functions;
2013-05-20 ago more explicit Session.update_options as source of Global_Options event;
2013-04-29 ago clarified module dependencies: avoid Properties and Document introding minimal "PIDE";
2013-04-09 ago public Isabelle_Process.xml_cache (thread-safe);
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;