src/Pure/PIDE/document.scala
2012-03-17 ago misc tuning to accomodate scala-2.10.0-M2;
2012-03-15 ago more recent recent_syntax, e.g. relevant for document rendering during startup;
2012-03-15 ago basic support for outer syntax keywords in theory header;
2012-03-15 ago maintain Version.syntax within document state;
2012-03-15 ago explicit Outer_Syntax.Decl;
2012-03-15 ago some support for outer syntax keyword declarations within theory header;
2012-03-04 ago removed obsolete proper_command_at (cf. 03a2dc9e0624);
2012-03-01 ago clarified document nodes (full import graph) vs. node_status (non-preloaded theories);
2012-02-29 ago clarified module Thy_Load;
2012-02-27 ago more explicit development graph;
2012-02-27 ago prefer final ADTs -- prevent ooddities;
2012-02-26 ago more abstract class Document.State;
2012-02-26 ago more abstract class Document.State.Assignment;
2012-02-26 ago tuned signature;
2012-02-26 ago more abstract class Document.Version;
2012-02-26 ago more abstract class Document.Node;
2012-02-26 ago more abstract class Document.History;
2012-02-26 ago more abstract class Document.Change;
2012-02-26 ago tuned;
2012-01-14 ago tuned signature;
2012-01-12 ago improved select_markup: include filtering of defined results;
2012-01-10 ago clarified Isabelle_Rendering vs. physical painting;
2012-01-07 ago accumulate status as regular markup for command range;
2011-12-16 ago prefer sorting from Scala library;
2011-11-12 ago index markup elements for more efficient cumulate/select operations;
2011-11-12 ago tuned signature;
2011-11-12 ago tuned signature;
2011-11-11 ago added markup_cumulate operator;
2011-10-22 ago class Counter as abstract datatype;
2011-09-18 ago graph traversal in topological order;
2011-09-17 ago Document.Node.Name convenience;
2011-09-17 ago more elaborate Node_Renderer, which paints node_name.theory only;
2011-09-03 ago Document.removed_versions on Scala side;
2011-09-03 ago some support to prune_history;
2011-09-01 ago more redable Document.Node.toString;
2011-09-01 ago tuned signature;
2011-09-01 ago more abstract Document.Node.Name;
2011-08-31 ago crude display of node status;
2011-08-31 ago maintain name of *the* enclosing node as part of command -- avoid full document traversal;
2011-08-30 ago tuned signature;
2011-08-30 ago dynamic exec state lookup for implicit position information (e.g. 'definition' without binding);
2011-08-30 ago some support for hyperlinks between different buffers;
2011-08-27 ago de-assigned commands also count as changed;
2011-08-26 ago tuned Session.edit_node: update_perspective based on last_exec_offset;
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-25 ago slightly more abstract Command.Perspective;
2011-08-24 ago misc tuning and simplification;
2011-08-24 ago clarified Document.Node.clear -- retain header (cf. ML version);
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-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;