src/Pure/PIDE/session.scala
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);
2014-08-02 wenzelm 2014-08-02 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 wenzelm 2014-07-24 less warnings -- ignore potential prover startup/shutdown races;
2014-05-05 wenzelm 2014-05-05 support print operations as asynchronous query;
2014-04-30 wenzelm 2014-04-30 tuned;
2014-04-29 wenzelm 2014-04-29 more synchronized treatment of prover process, which might emit more messages before shutdown and requires manager to accept them;
2014-04-29 wenzelm 2014-04-29 more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2014-04-28 wenzelm 2014-04-28 improved syslog performance -- avoid denial-of-service e.g. with threads_trace = 5 and active Syslog dockable;
2014-04-28 wenzelm 2014-04-28 tuned comments;
2014-04-28 wenzelm 2014-04-28 more systematic delay_first discipline for change_buffer and prune_history;
2014-04-26 wenzelm 2014-04-26 tuned -- potentially more robust;
2014-04-25 wenzelm 2014-04-25 manager is direct receiver of prover output -- discontinued old performance tuning (329320fc88df, 1baa5d19ac44);
2014-04-25 wenzelm 2014-04-25 simplified change_buffer (again, see 937826d702d5): no thread, just timer, rely on asynchronous commands_changed.post;
2014-04-25 wenzelm 2014-04-25 clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; eliminated old actors;
2014-04-25 wenzelm 2014-04-25 more robust prover termination;
2014-04-25 wenzelm 2014-04-25 more explicit checks;
2014-04-24 wenzelm 2014-04-24 tuned signature;
2014-04-24 wenzelm 2014-04-24 more uniform warning/error handling, potentially with propagation to send_wait caller;
2014-04-24 wenzelm 2014-04-24 more careful shutdown (amending f2f53f7046f4);
2014-04-24 wenzelm 2014-04-24 converted main session manager to Consumer_Thread: messages need to be consumed immediately, postponed_changes replaces implicit actor mailbox scanning;
2014-04-24 wenzelm 2014-04-24 simplified commands_changed_buffer (in contrast to a8331fb5c959): rely on better performance of Consumer_Thread/Mailbox and more direct Timer (like session_actor.receiver);
2014-04-24 wenzelm 2014-04-24 simplified -- prefer Consumer_Thread over Actor;
2014-04-24 wenzelm 2014-04-24 tuned signature, in accordance to ML version;
2014-04-24 wenzelm 2014-04-24 eliminated redundant Volatile;
2014-04-24 wenzelm 2014-04-24 tuned signature in accordance to ML version;
2014-04-23 wenzelm 2014-04-23 explicit Exn.error_message in accordance to Output.error_message in ML;
2014-04-04 wenzelm 2014-04-04 more permissive Session.update_options: this is wired to jEdit PropertiesChanged, which may occur before the prover is started;
2014-04-03 wenzelm 2014-04-03 clarified Version.syntax -- avoid guessing initial situation;
2014-04-03 wenzelm 2014-04-03 more abstract Prover.Syntax, as proposed by Carst Tankink;
2014-04-03 wenzelm 2014-04-03 more general prover operations;