src/Pure/PIDE/session.scala
18 months ago ago protocol message for export of theory resources;
20 months ago ago update XML cache for slightly modified messages;
2017-10-16 ago provide theory timing information, similar to command timing but always considered relevant;
2017-09-29 ago tuned signature;
2017-08-08 ago maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);
2017-06-16 ago more general dispatcher operations;
2017-04-12 ago global session_base for PIDE interaction;
2017-04-03 ago tuned signature;
2017-03-18 ago more informative session result;
2017-03-18 ago clarified signature;
2017-03-18 ago more realistic PIDE build session;
2017-03-18 ago asynchronous send_stop operation;
2017-03-15 ago dynamic session_options for tuning parameters and initial prover options;
2017-03-14 ago more robust startup, despite remaining race condition of debugger.is_active vs. session.is_ready;
2017-03-14 ago more robust debugger initialization, e.g. required for GUI components before actual session startup;
2017-03-14 ago more abstract module Document;
2017-03-14 ago misc tuning and simplification;
2017-03-13 ago more explicit Session.xml_cache;
2017-03-13 ago tuned signature;
2017-03-13 ago clarified modules;
2017-03-13 ago proper local debugger state, depending on session;
2017-03-13 ago tuned signature;
2017-03-13 ago more robust Session.stop: idempotent, avoid conflict with startup;
2017-03-13 ago more strict Session.start: no restart from terminated session;
2017-03-13 ago clarified Session.Phase;
2017-01-09 ago tuned signature;
2017-01-07 ago uniform Document.Model.node_edits (without void edits);
2017-01-05 ago emit Commands_Changed for blobs as well, e.g. relevant for isabelle.vscode.Server.prover_output;
2016-08-02 ago tuned signature -- prover-independence is presently theoretical;
2016-03-08 ago more abstract Session.start, without prover command-line;
2016-03-07 ago Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
2016-02-13 ago clarified bash process -- similar to ML version;
2016-01-10 ago prune old versions more often, to reduce overall heap requirements;
2016-01-04 ago clarified order of shutdown;
2015-11-06 ago tuned;
2015-11-03 ago clarified modules;
2015-10-10 ago more explicit HTML.symbols;
2015-10-09 ago output HTML text according to Isabelle/Scala Symbol.Interpretation;
2015-08-15 ago tuned;
2015-08-11 ago tuned signature;
2015-07-30 ago clarified management of (single) session;
2015-07-17 ago skeleton for interactive debugger;
2015-04-15 ago obsolete (see also 94b2690ad494);
2015-01-14 ago more type-safe handler interface;
2015-01-14 ago clarified build_theories: proper protocol handler;
2015-01-14 ago clarified build_theories;
2015-01-13 ago some support for PIDE batch session;
2015-01-08 ago tuned;
2014-12-03 ago node-specific keywords, with session base syntax as default;
2014-12-02 ago node-specific syntax, with base_syntax as default;
2014-11-07 ago plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
2014-08-18 ago merged;
2014-08-17 ago postpone changes in intermediate state between remove_versions/removed_versions, which is important for handle_change to refer to defined items on prover side;
2014-08-13 ago tuned comments;
2014-08-05 ago added system option editor_output_delay: lower value might help big sessions under low-memory situations;
2014-08-05 ago obsolete (see f7700146678d);
2014-08-02 ago more direct access to persistent blobs (see also 8953d4cc060a), avoiding fragile digest lookup from later version (which might have removed unused blobs already);
2014-07-24 ago less warnings -- ignore potential prover startup/shutdown races;
2014-05-05 ago support print operations as asynchronous query;
2014-04-30 ago tuned;