src/Pure/System/session.scala
2011-12-01 ago clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
2011-11-29 ago clarified modules;
2011-11-28 ago separate module for concrete Isabelle markup;
2011-11-25 ago explicit change_parser thread, which avoids undirected Future.fork with its tendency towards hundreds of worker threads;
2011-11-25 ago 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 ago class Volatile as abstract datatype;
2011-10-17 ago always use sockets on Windows/Cygwin;
2011-09-25 ago tuned signature;
2011-09-25 ago more uniform defaults;
2011-09-23 ago explicit option for socket vs. fifo communication;
2011-09-18 ago graph traversal in topological order;
2011-09-17 ago sane default for class Thy_Load;
2011-09-07 ago clarified terminology;
2011-09-07 ago added "cancel" button based on cancel_execution, not interrupt (cf. 156be0e43336);
2011-09-06 ago more specific message channels to avoid potential bottle-neck of raw_messages;
2011-09-06 ago buffer prover messages to prevent overloading of session_actor input channel -- which is critical due to synchronous messages wrt. GUI thread;
2011-09-06 ago more abstract receiver interface;
2011-09-05 ago commands_change_delay within main actor -- prevents overloading of commands_change_buffer input channel;
2011-09-05 ago tuned imports;
2011-09-03 ago Document.removed_versions on Scala side;
2011-09-02 ago raw message function "assign_execs" avoids full overhead of decoding and caching message body;
2011-09-02 ago clarified define_command: store name as structural information;
2011-09-01 ago tuned signature;
2011-09-01 ago more abstract Document.Node.Name;
2011-08-31 ago explicit cancel_execution before queueing new edits -- potential performance improvement for machines with few cores;
2011-08-31 ago tuned Commands_Changed: cover nodes as well;
2011-08-30 ago tuned signature;
2011-08-29 ago actual auto loading of required files;
2011-08-29 ago some dialog for auto loading of required files (still inactive);
2011-08-26 ago tuned Session.edit_node: update_perspective based on last_exec_offset;
2011-08-26 ago tuned signature;
2011-08-26 ago refined document state assignment: observe perspective, more explicit assignment message;
2011-08-25 ago maintain last_execs assignment on Scala side;
2011-08-25 ago propagate information about last command with exec state assignment through document model;
2011-08-25 ago tuned signature;
2011-08-24 ago misc tuning and simplification;
2011-08-24 ago clarified norm_header/header_edit -- disallow update of loaded theories;
2011-08-24 ago update_perspective without actual edits, bypassing the full state assignment protocol;
2011-08-23 ago propagate editor perspective through document model;
2011-08-22 ago some support for editor perspective;
2011-08-22 ago discontinued redundant Edit_Command_ID;
2011-08-19 ago Future.promise: explicit abort operation (like uninterruptible future job);
2011-08-16 ago more robust Thy_Header.base_name, with minimal assumptions about path syntax;
2011-08-16 ago use full .thy file name as node name, which makes MiscUtilities.resolveSymlinks/File.getCanonicalPath more predictable;
2011-08-13 ago provide node header via Scala layer;
2011-08-13 ago tuned signature;
2011-08-13 ago clarified node header -- exclude master_dir;
2011-08-12 ago normalized theory dependencies wrt. file_store;
2011-08-12 ago simplified class Thy_Header;
2011-08-11 ago uniform treatment of header edits as document edits;
2011-08-11 ago explicit datatypes for document node edits;
2011-07-11 ago JVM method invocation service via Scala layer;
2011-07-11 ago some support for raw messages, which bypass standard Symbol/YXML decoding;
2011-07-10 ago propagate header changes to prover process;
2011-07-09 ago echo prover input via raw_messages, for improved protocol tracing;
2011-07-09 ago tuned;
2011-07-09 ago tuned signature;
2011-07-09 ago clarified propagation of node name and header;
2011-07-09 ago more precise treatment of prover definedness;
2011-07-09 ago tuned source structure;