src/Pure/PIDE/session.scala
13 months ago wenzelm 2018-05-13 tuned signature;
13 months ago wenzelm 2018-05-13 tuned -- use XZ.Cache;
13 months ago wenzelm 2018-05-07 more robust (synchronous) management of Export.Entry: Future.fork happens inside the data structure; tuned;
13 months ago wenzelm 2018-05-07 store exports within PIDE command state; Markup.Export.unapply: proper NAME;
13 months ago wenzelm 2018-05-05 protocol message for export of theory resources;
15 months ago wenzelm 2018-03-11 update XML cache for slightly modified messages;
20 months ago wenzelm 2017-10-16 provide theory timing information, similar to command timing but always considered relevant;
21 months ago wenzelm 2017-09-29 tuned signature;
22 months ago wenzelm 2017-08-08 maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);
2017-06-16 wenzelm 2017-06-16 more general dispatcher operations;
2017-04-12 wenzelm 2017-04-12 global session_base for PIDE interaction;
2017-04-03 wenzelm 2017-04-03 tuned signature;
2017-03-18 wenzelm 2017-03-18 more informative session result;
2017-03-18 wenzelm 2017-03-18 clarified signature;
2017-03-18 wenzelm 2017-03-18 more realistic PIDE build session;
2017-03-18 wenzelm 2017-03-18 asynchronous send_stop operation;
2017-03-15 wenzelm 2017-03-15 dynamic session_options for tuning parameters and initial prover options;
2017-03-14 wenzelm 2017-03-14 more robust startup, despite remaining race condition of debugger.is_active vs. session.is_ready;
2017-03-14 wenzelm 2017-03-14 more robust debugger initialization, e.g. required for GUI components before actual session startup;
2017-03-14 wenzelm 2017-03-14 more abstract module Document;
2017-03-14 wenzelm 2017-03-14 misc tuning and simplification;
2017-03-13 wenzelm 2017-03-13 more explicit Session.xml_cache;
2017-03-13 wenzelm 2017-03-13 tuned signature;
2017-03-13 wenzelm 2017-03-13 clarified modules;
2017-03-13 wenzelm 2017-03-13 proper local debugger state, depending on session; tuned signature;
2017-03-13 wenzelm 2017-03-13 tuned signature;
2017-03-13 wenzelm 2017-03-13 more robust Session.stop: idempotent, avoid conflict with startup;
2017-03-13 wenzelm 2017-03-13 more strict Session.start: no restart from terminated session;
2017-03-13 wenzelm 2017-03-13 clarified Session.Phase;
2017-01-09 wenzelm 2017-01-09 tuned signature;
2017-01-07 wenzelm 2017-01-07 uniform Document.Model.node_edits (without void edits);
2017-01-05 wenzelm 2017-01-05 emit Commands_Changed for blobs as well, e.g. relevant for isabelle.vscode.Server.prover_output;
2016-08-02 wenzelm 2016-08-02 tuned signature -- prover-independence is presently theoretical;
2016-03-08 wenzelm 2016-03-08 more abstract Session.start, without prover command-line; Isabelle_Process.apply is directly based on ML_Process; clarified Isabelle_Process.main command-line; tuned signature;
2016-03-07 wenzelm 2016-03-07 Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined; more robust File.bash_escape; more robust treatment of ML_OPTIONS; clarified prover args (again);
2016-02-13 wenzelm 2016-02-13 clarified bash process -- similar to ML version;
2016-01-10 wenzelm 2016-01-10 prune old versions more often, to reduce overall heap requirements;
2016-01-04 wenzelm 2016-01-04 clarified order of shutdown;
2015-11-06 wenzelm 2015-11-06 tuned;
2015-11-03 wenzelm 2015-11-03 clarified modules;
2015-10-10 wenzelm 2015-10-10 more explicit HTML.symbols; tuned signature;
2015-10-09 wenzelm 2015-10-09 output HTML text according to Isabelle/Scala Symbol.Interpretation;
2015-08-15 wenzelm 2015-08-15 tuned;
2015-08-11 wenzelm 2015-08-11 tuned signature;
2015-07-30 wenzelm 2015-07-30 clarified management of (single) session; proper Debugger.Update events;
2015-07-17 wenzelm 2015-07-17 skeleton for interactive debugger;
2015-04-15 wenzelm 2015-04-15 obsolete (see also 94b2690ad494);
2015-01-14 wenzelm 2015-01-14 more type-safe handler interface; proper progress for Build.Handler;
2015-01-14 wenzelm 2015-01-14 clarified build_theories: proper protocol handler;
2015-01-14 wenzelm 2015-01-14 clarified build_theories;
2015-01-13 wenzelm 2015-01-13 some support for PIDE batch session; clarified Thy_Info.use_thys_options and corresponding protocol command;
2015-01-08 wenzelm 2015-01-08 tuned;
2014-12-03 wenzelm 2014-12-03 node-specific keywords, with session base syntax as default;
2014-12-02 wenzelm 2014-12-02 node-specific syntax, with base_syntax as default; clarified Document_Model.init: convergence of editor events towards buffer-specific token marker;
2014-11-07 wenzelm 2014-11-07 plain value Keywords.keywords, which might be used outside theory for bootstrap purposes; plain value Outer_Syntax within theory: parsing requires current theory context; clarified name of Keyword.is_literal according to its semantics; eliminated pointless type Keyword.T; simplified @{command_spec}; clarified bootstrap keywords and syntax: take it as basis instead of side-branch;
2014-08-18 wenzelm 2014-08-18 merged;
2014-08-17 wenzelm 2014-08-17 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 wenzelm 2014-08-13 tuned comments;
2014-08-05 wenzelm 2014-08-05 added system option editor_output_delay: lower value might help big sessions under low-memory situations;
2014-08-05 wenzelm 2014-08-05 obsolete (see f7700146678d);