src/Pure/PIDE/session.scala
6 months ago ago more robust: no assumptions about GUI thread or document model;
7 months ago ago tuned signature;
7 months ago ago support for File_Format.Session, e.g. server process accessible via prover options;
10 months ago ago more robust exit: avoid later Consolidate_Execution with handle_raw_edits (cf. 2fd3a6d6ba2e);
13 months ago ago more robust;
13 months ago ago less wasteful consolidation, based on PIDE front-end state and recent changes;
13 months ago ago Document.update includes node consolidation / presentation as regular print operation: avoid user operations on protocol thread;
14 months ago ago tuned;
14 months ago ago tuned signature;
14 months ago ago tuned -- use XZ.Cache;
14 months ago ago more robust (synchronous) management of Export.Entry: Future.fork happens inside the data structure;
14 months ago ago store exports within PIDE command state;
14 months ago ago protocol message for export of theory resources;
16 months ago ago update XML cache for slightly modified messages;
21 months ago ago provide theory timing information, similar to command timing but always considered relevant;
21 months ago ago tuned signature;
23 months ago 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;