src/Pure/PIDE/document.scala
2012-12-13 wenzelm 2012-12-13 identify dialogs via official serial and maintain as result message; clarified Protocol.is_inlined: suppress result/tracing/state messages uniformly; cumulate_markup/select_markup depending on command state; explicit Rendering.output_messages; tuned source structure;
2012-11-25 wenzelm 2012-11-25 tuned signature -- avoid intrusion of module Path in generic PIDE concepts;
2012-10-01 wenzelm 2012-10-01 removed unused module Blob;
2012-09-28 wenzelm 2012-09-28 tuned signature;
2012-09-22 wenzelm 2012-09-22 accumulate under exec_id as well;
2012-09-18 wenzelm 2012-09-18 some support for inital command markup; tuned signature;
2012-09-13 wenzelm 2012-09-13 more efficient painting based on cached result;
2012-08-24 wenzelm 2012-08-24 prefer jEdit file name representation (potentially via VFS); tuned;
2012-08-14 wenzelm 2012-08-14 even more defensive path expansion (see also 8d381fdef898);
2012-08-07 wenzelm 2012-08-07 simplified Document.Node.Header -- internalized errors;
2012-08-07 wenzelm 2012-08-07 tuned signature;
2012-04-07 wenzelm 2012-04-07 added static command status markup, to emphasize accepted but unassigned/unparsed commands (notably in overview panel);
2012-04-06 wenzelm 2012-04-06 discontinued obsolete last_execs (cf. cd3ab7625519);
2012-03-17 wenzelm 2012-03-17 misc tuning to accomodate scala-2.10.0-M2;
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-15 wenzelm 2012-03-15 explicit Outer_Syntax.Decl;
2012-03-15 wenzelm 2012-03-15 some support for outer syntax keyword declarations within theory header; more uniform Thy_Header.header as argument for begin_theory etc.;
2012-03-04 wenzelm 2012-03-04 removed obsolete proper_command_at (cf. 03a2dc9e0624);
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-27 wenzelm 2012-02-27 more explicit development graph;
2012-02-27 wenzelm 2012-02-27 prefer final ADTs -- prevent ooddities;
2012-02-26 wenzelm 2012-02-26 more abstract class Document.State;
2012-02-26 wenzelm 2012-02-26 more abstract class Document.State.Assignment;
2012-02-26 wenzelm 2012-02-26 tuned signature;
2012-02-26 wenzelm 2012-02-26 more abstract class Document.Version; tuned (NB: Version.nodes is total);
2012-02-26 wenzelm 2012-02-26 more abstract class Document.Node;
2012-02-26 wenzelm 2012-02-26 more abstract class Document.History;
2012-02-26 wenzelm 2012-02-26 more abstract class Document.Change;
2012-02-26 wenzelm 2012-02-26 tuned;
2012-01-14 wenzelm 2012-01-14 tuned signature;
2012-01-12 wenzelm 2012-01-12 improved select_markup: include filtering of defined results;
2012-01-10 wenzelm 2012-01-10 clarified Isabelle_Rendering vs. physical painting; discontinued slightly odd object-oriented Markup_Tree.Cumulate/Select;
2012-01-07 wenzelm 2012-01-07 accumulate status as regular markup for command range; tuned signature;
2011-12-16 wenzelm 2011-12-16 prefer sorting from Scala library;
2011-11-12 wenzelm 2011-11-12 index markup elements for more efficient cumulate/select operations;
2011-11-12 wenzelm 2011-11-12 tuned signature; express select in terms of cumulate;
2011-11-12 wenzelm 2011-11-12 tuned signature;
2011-11-11 wenzelm 2011-11-11 added markup_cumulate operator;
2011-10-22 wenzelm 2011-10-22 class Counter as abstract datatype;
2011-09-18 wenzelm 2011-09-18 graph traversal in topological order; Session.snapshot() with sensible defaults;
2011-09-17 wenzelm 2011-09-17 Document.Node.Name convenience;
2011-09-17 wenzelm 2011-09-17 more elaborate Node_Renderer, which paints node_name.theory only;
2011-09-03 wenzelm 2011-09-03 Document.removed_versions on Scala side;
2011-09-03 wenzelm 2011-09-03 some support to prune_history; clarified signature: recent_stable is supposed to be always defined;
2011-09-01 wenzelm 2011-09-01 more redable Document.Node.toString;
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 crude display of node status; tuned signature;
2011-08-31 wenzelm 2011-08-31 maintain name of *the* enclosing node as part of command -- avoid full document traversal;
2011-08-30 wenzelm 2011-08-30 tuned signature;
2011-08-30 wenzelm 2011-08-30 dynamic exec state lookup for implicit position information (e.g. 'definition' without binding);
2011-08-30 wenzelm 2011-08-30 some support for hyperlinks between different buffers; tuned signature;
2011-08-27 wenzelm 2011-08-27 de-assigned commands also count as changed;
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 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;