2014-12-02 ago node-specific syntax, with base_syntax as default;
2014-08-17 ago postpone changes in intermediate state between remove_versions/removed_versions, which is important for handle_change to refer to defined items on prover side;
2014-08-02 ago more direct access to persistent blobs (see also 8953d4cc060a), avoiding fragile digest lookup from later version (which might have removed unused blobs already);
2014-07-23 ago more frugal edits;
2014-07-23 ago more explicit treatment of cleared nodes (removal is implicit);
2014-07-23 ago clarified display;
2014-07-23 ago clarified display;
2014-07-23 ago avoid redundant data structure;
2014-07-23 ago more explicit discrimination of empty nodes -- suppress from Theories panel;
2014-07-23 ago tuned;
2014-07-23 ago tuned signature;
2014-04-30 ago some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
2014-04-26 ago tuned signature;
2014-04-26 ago tuned signature;
2014-04-24 ago tuned signature;
2014-04-15 ago clarified treatment of markup ranges wrt. revert/convert: inflate_singularity allows to retrieve information like language_context more reliably during editing;
2014-04-10 ago ignore other_id reports for now (see 8eda56033203): massive amounts of redirections to 'class' etc. makes it difficult to edit main HOL;
2014-04-09 ago tuned;
2014-04-08 ago tuned signature;
2014-04-08 ago simplified Text.Chunk -- eliminated ooddities;
2014-04-08 ago accumulate markup reports for "other" command ids, which are later retargeted and merged for rendering (in erratic order);
2014-04-08 ago tuned signature -- moved Command.Chunk to Text.Chunk;
2014-04-08 ago more explicit Command.Chunk types, less ooddities;
2014-04-04 ago afford larger full_index, to save a few milliseconds during rendering (notably text_overview);
2014-04-03 ago clarified Version.syntax -- avoid guessing initial situation;
2014-04-03 ago more abstract Prover.Syntax, as proposed by Carst Tankink;
2014-04-02 ago tuned signature -- more explicit iterator terminology;
2014-04-02 ago more explicit iterator terminology, in accordance to Scala 2.8 library;
2014-04-01 ago more direct command states -- merge_results is hardly ever needed;
2014-03-31 ago tuned output;
2014-03-31 ago tuned signature -- more static typing;
2014-03-31 ago store blob content within document node: aux. files that were once open are made persistent;
2014-03-29 ago tuned signature;
2014-03-27 ago tuned -- avoid code duplication;
2014-03-27 ago more frugal merge of markup trees: filter wrt. subsequent query;
2014-03-27 ago tuned signature;
2014-03-27 ago more careful treatment of multiple command states (eval + prints): merge content that is actually required;
2014-03-26 ago tuned signature -- expose less intermediate information;
2014-03-26 ago clarified valid_id: always standardize towards static;
2014-03-17 ago tuned rendering -- avoid flashing background of aux. files that are disconnected from the document model;
2014-03-01 ago tuned signature -- more explicit Document.Elements;
2014-02-28 ago tuned data structure;
2014-02-28 ago tuned;
2014-02-27 ago more formal Document.Blobs;
2014-02-27 ago tuned output;
2014-02-26 ago tuned output;
2014-02-24 ago tuned messages;
2014-02-21 ago tuned signature -- avoid redundancy and confusion of flags;
2014-02-21 ago tuned signature;
2014-02-21 ago more general / abstract Command.Markups, with separate index for status elements;
2014-02-20 ago cumulate/select wrt. precise elements guard;
2014-02-12 ago maintain blob edits within history, which is important for Snapshot.convert/revert;
2014-02-12 ago more accurate eq_content;
2014-02-11 ago maintain multiple command chunks and markup trees: for main chunk and loaded files;
2014-02-11 ago common Command.Chunk for command source and auxiliary files (static Symbol.Index without actual String content);
2013-11-22 ago clarified node edits sent to prover -- Clear/Blob only required for text edits within editor;
2013-11-21 ago actually expose errors of cumulative theory dependencies;
2013-11-20 ago ranges of thy_load commands count as visible within perspective;
2013-11-20 ago refer to thy_load command of auxiliary file;
2013-11-19 ago clarified Document.Blobs environment vs. actual edits of auxiliary files;