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;
2011-08-31 wenzelm 2011-08-31 tuned Commands_Changed: cover nodes as well;
2011-08-30 wenzelm 2011-08-30 tuned signature;
2011-08-29 wenzelm 2011-08-29 actual auto loading of required files; eliminated File_Store in favour of Thy_Load; tuned;
2011-08-29 wenzelm 2011-08-29 some dialog for auto loading of required files (still inactive);
2011-08-26 wenzelm 2011-08-26 tuned Session.edit_node: update_perspective based on last_exec_offset;
2011-08-26 wenzelm 2011-08-26 tuned signature;
2011-08-26 wenzelm 2011-08-26 refined document state assignment: observe perspective, more explicit assignment message; misc tuning and clarification;
2011-08-25 wenzelm 2011-08-25 maintain last_execs assignment on Scala side; prefer tables over IDs instead of objects;
2011-08-25 wenzelm 2011-08-25 propagate information about last command with exec state assignment through document model;
2011-08-25 wenzelm 2011-08-25 tuned signature;
2011-08-24 wenzelm 2011-08-24 misc tuning and simplification;
2011-08-24 wenzelm 2011-08-24 clarified norm_header/header_edit -- disallow update of loaded theories;
2011-08-24 wenzelm 2011-08-24 update_perspective without actual edits, bypassing the full state assignment protocol; edit_nodes/Perspective: do not touch_descendants here; propagate editor scroll events via update_perspective; misc tuning;
2011-08-23 wenzelm 2011-08-23 propagate editor perspective through document model;
2011-08-22 wenzelm 2011-08-22 some support for editor perspective;
2011-08-22 wenzelm 2011-08-22 discontinued redundant Edit_Command_ID;