src/Pure/PIDE/document.scala
2012-11-25 ago tuned signature -- avoid intrusion of module Path in generic PIDE concepts;
2012-10-01 ago removed unused module Blob;
2012-09-28 ago tuned signature;
2012-09-22 ago accumulate under exec_id as well;
2012-09-18 ago some support for inital command markup;
2012-09-13 ago more efficient painting based on cached result;
2012-08-24 ago prefer jEdit file name representation (potentially via VFS);
2012-08-14 ago even more defensive path expansion (see also 8d381fdef898);
2012-08-07 ago simplified Document.Node.Header -- internalized errors;
2012-08-07 ago tuned signature;
2012-04-07 ago added static command status markup, to emphasize accepted but unassigned/unparsed commands (notably in overview panel);
2012-04-06 ago discontinued obsolete last_execs (cf. cd3ab7625519);
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;