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;
2011-08-25 wenzelm 2011-08-25 tuned signature;
2011-08-25 wenzelm 2011-08-25 slightly more abstract Command.Perspective;
2011-08-24 wenzelm 2011-08-24 misc tuning and simplification;
2011-08-24 wenzelm 2011-08-24 clarified Document.Node.clear -- retain header (cf. ML version);
2011-08-24 wenzelm 2011-08-24 clarified norm_header/header_edit -- disallow update of loaded theories;
2011-08-24 wenzelm 2011-08-24 update_perspective without actual edits, bypassing the full state assignment protocol; edit_nodes/Perspective: do not touch_descendants here; propagate editor scroll events via update_perspective; misc tuning;
2011-08-23 wenzelm 2011-08-23 propagate editor perspective through document model;
2011-08-22 wenzelm 2011-08-22 some support for editor perspective;
2011-08-22 wenzelm 2011-08-22 discontinued redundant Edit_Command_ID;
2011-08-16 wenzelm 2011-08-16 use full .thy file name as node name, which makes MiscUtilities.resolveSymlinks/File.getCanonicalPath more predictable; more robust treatment of node dependencies; misc tuning;
2011-08-13 wenzelm 2011-08-13 provide node header via Scala layer; clarified node edit Clear: retain header information; run_command: node info via document model, error handling within transaction; node names without ".thy" suffix, to coincide with traditional theory loader treatment;