src/Pure/System/session.scala
2012-08-21 wenzelm 2012-08-21 clarified initialization of Thy_Load, Thy_Info, Session;
2012-08-14 wenzelm 2012-08-14 check_errors for cumulative session content;
2012-08-14 wenzelm 2012-08-14 added jedit option -d;
2012-08-10 wenzelm 2012-08-10 apply all text edits to each node, before determining the resulting doc_edits -- allow several iterations to consolidate spans etc.; expand Clear edit before sending to prover; at most one full reparse of each node;
2012-08-07 wenzelm 2012-08-07 more token markers, based on actual outer syntax; prefer official Outer_Syntax.init with its completions;
2012-08-07 wenzelm 2012-08-07 simplified process startup phases: INIT suffices for is_ready;
2012-08-07 wenzelm 2012-08-07 prefer static Build.session_content for loaded theories -- discontinued incremental protocol;
2012-08-07 wenzelm 2012-08-07 prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol; just one cumulative Keyword.status at end of batch session;
2012-08-07 wenzelm 2012-08-07 simplified Document.Node.Header -- internalized errors;
2012-07-22 wenzelm 2012-07-22 determine source dependencies, relatively to preloaded theories; tuned signature;
2012-05-29 wenzelm 2012-05-29 clarified prover startup: no timeout, read stderr more carefully;
2012-05-29 wenzelm 2012-05-29 more explicit treatment of return code vs. session phase;
2012-04-21 wenzelm 2012-04-21 some builtin session timing;
2012-04-20 wenzelm 2012-04-20 simplified internal actor protocol;
2012-04-07 wenzelm 2012-04-07 init message not bad;
2012-04-06 wenzelm 2012-04-06 discontinued Document.update_perspective side-entry (cf. 546adfa8a6fc) -- NB: re-assignment is always necessary due to non-monotonic cancel_execution;
2012-04-05 wenzelm 2012-04-05 less aggressive discontinue_execution before document update, to avoid unstable execs that need to be re-assigned;
2012-03-19 wenzelm 2012-03-19 explicit propagation of assignment event, even if changed command set is empty; discontinued slightly odd Document_View.update_snapshot/flush_snapshot;
2012-03-15 wenzelm 2012-03-15 more recent recent_syntax, e.g. relevant for document rendering during startup;
2012-03-15 wenzelm 2012-03-15 basic support for outer syntax keywords in theory header;
2012-03-15 wenzelm 2012-03-15 maintain Version.syntax within document state; clarified Outer_Syntax.empty vs. Outer_Syntax.init, which pulls in Isabelle_System symbol completions;
2012-03-03 wenzelm 2012-03-03 clarified terminology of raw protocol messages;
2012-03-03 wenzelm 2012-03-03 tuned signature -- emphasize Isabelle_Process Input vs. Output;
2012-03-03 wenzelm 2012-03-03 explicit syslog_limit reduces danger of low-level message flooding; tuned;
2012-03-01 wenzelm 2012-03-01 clarified document nodes (full import graph) vs. node_status (non-preloaded theories); tuned;
2012-02-29 wenzelm 2012-02-29 clarified module Thy_Load; more precise graph based on Document.Node.Deps with actual Node.Name dependencies;
2012-02-26 wenzelm 2012-02-26 tuned signature (in accordance with ML);
2012-02-26 wenzelm 2012-02-26 tuned signature;
2012-02-23 wenzelm 2012-02-23 streamlined abstract datatype;
2012-02-21 wenzelm 2012-02-21 tuned;
2012-01-12 wenzelm 2012-01-12 added cat_lines convenience;
2012-01-05 wenzelm 2012-01-05 prefer raw_message for protocol implementation;
2012-01-05 wenzelm 2012-01-05 prefer raw_message for protocol implementation; tuned;
2012-01-05 wenzelm 2012-01-05 prefer raw_message for protocol implementation;
2012-01-05 wenzelm 2012-01-05 tuned signature;
2011-12-01 wenzelm 2011-12-01 clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
2011-11-29 wenzelm 2011-11-29 clarified modules;
2011-11-28 wenzelm 2011-11-28 separate module for concrete Isabelle markup;
2011-11-25 wenzelm 2011-11-25 explicit change_parser thread, which avoids undirected Future.fork with its tendency towards hundreds of worker threads;
2011-11-25 wenzelm 2011-11-25 retain stderr and include it in syslog, which is buffered and thus increases the chance that users see remains from crashes etc.;
2011-10-22 wenzelm 2011-10-22 class Volatile as abstract datatype;
2011-10-17 wenzelm 2011-10-17 always use sockets on Windows/Cygwin; discontinued special raw_dump facility;
2011-09-25 wenzelm 2011-09-25 tuned signature;
2011-09-25 wenzelm 2011-09-25 more uniform defaults;
2011-09-23 wenzelm 2011-09-23 explicit option for socket vs. fifo communication;
2011-09-18 wenzelm 2011-09-18 graph traversal in topological order; Session.snapshot() with sensible defaults;
2011-09-17 wenzelm 2011-09-17 sane default for class Thy_Load;
2011-09-07 wenzelm 2011-09-07 clarified terminology;
2011-09-07 wenzelm 2011-09-07 added "cancel" button based on cancel_execution, not interrupt (cf. 156be0e43336);
2011-09-06 wenzelm 2011-09-06 more specific message channels to avoid potential bottle-neck of raw_messages;
2011-09-06 wenzelm 2011-09-06 buffer prover messages to prevent overloading of session_actor input channel -- which is critical due to synchronous messages wrt. GUI thread;
2011-09-06 wenzelm 2011-09-06 more abstract receiver interface;
2011-09-05 wenzelm 2011-09-05 commands_change_delay within main actor -- prevents overloading of commands_change_buffer input channel;
2011-09-05 wenzelm 2011-09-05 tuned imports;
2011-09-03 wenzelm 2011-09-03 Document.removed_versions on Scala side;
2011-09-02 wenzelm 2011-09-02 raw message function "assign_execs" avoids full overhead of decoding and caching message body;
2011-09-02 wenzelm 2011-09-02 clarified define_command: store name as structural information;
2011-09-01 wenzelm 2011-09-01 tuned signature;
2011-09-01 wenzelm 2011-09-01 more abstract Document.Node.Name; tuned signature;
2011-08-31 wenzelm 2011-08-31 explicit cancel_execution before queueing new edits -- potential performance improvement for machines with few cores;