src/Pure/System/session.scala
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;
2011-07-07 ago explicit Document.Node.Header, with master_dir and thy_name;
2011-07-07 ago simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
2011-07-05 ago Thy_Info.dependencies: ignore already loaded theories, according to initial prover session status;
2011-07-04 ago Document.no_id/new_id as in ML (new_id *could* be session-specific but it isn't right now);
2011-07-04 ago quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-07-04 ago explicit class Counter;
2011-07-04 ago pervasive Basic_Library in Scala;
2011-07-04 ago some support for theory files within Isabelle/Scala session;
2011-07-03 ago eliminated null;
2011-07-03 ago more explicit edit_node vs. init_node;
2011-07-03 ago tuned signature;
2011-07-02 ago some support for Session.File_Store;
2011-07-02 ago tuned signature;
2011-06-25 ago proper tokens only if session is ready;
2011-06-23 ago explicit import java.lang.System to prevent odd scope problems;
2011-06-18 ago basic support for extended syntax styles: sub/superscript;
2011-01-13 ago less verbosity;
2010-12-01 ago more abstract/uniform handling of time, preferring seconds as Double;
2010-11-16 ago post raw messages last, to ensure that result has been handled by session actor already (e.g. to avoid race between Session.session_actor and Session_Dockable.main_actor);
2010-11-13 ago somewhat adhoc replacement for 'thus' and 'hence';
2010-11-11 ago unified type Document.Edit;
2010-11-11 ago replaced Document.Node_Text_Edit by Document.Text_Edit, with treatment of deleted nodes;
2010-09-25 ago simplified / clarified Session.Phase;
2010-09-25 ago tuned signature;
2010-09-24 ago more informative Session.Phase;
2010-09-23 ago simplified Session.Phase;
2010-09-23 ago explicit Session.Phase indication with associated event bus;
2010-09-23 ago tuned signature;
2010-09-23 ago manage persistent syslog via Session, not Isabelle_Process;
2010-09-23 ago tuned prover message categorization;
2010-09-22 ago basic setup for Session_Dockable controls;
2010-09-22 ago Session_Dockable: basic syslog output;
2010-09-22 ago just one Session.raw_messages event bus;
2010-09-22 ago main Isabelle_Process via Isabelle_System.Managed_Process;
2010-09-20 ago added Isabelle_Process.syslog;
2010-09-19 ago refined Isabelle_Process startup: emit \002 before rendezvous on fifos, more robust treatment of startup failure with timeout, do not quit() after main loop;
2010-09-19 ago simplified Isabelle_Process message kinds;