2017-06-26 ago proper bootstrap_name (amending b42743f5b595);
2017-06-21 ago tuned signature;
2017-06-19 ago clarified signature;
2017-06-08 ago tuned signature;
2017-06-08 ago clarified signature;
2017-06-08 ago HTML preview based on PIDE markup;
2017-04-12 ago clarified loaded_theories: map to qualified theory name;
2017-04-08 ago more qualifier treatment, but in the end it is still ignored;
2017-04-08 ago more operations;
2017-04-08 ago tuned signature;
2017-04-06 ago tuned signature;
2017-04-03 ago tuned signature;
2017-04-03 ago simplified direct theory name (again, see also 570ba266f5b5, 2a7f9e79cb28);
2017-04-03 ago tuned;
2017-04-03 ago tuned signature;
2017-03-20 ago tuned signature;
2017-03-14 ago more abstract module Document;
2017-03-12 ago clarified current_command: index refers to node content, negative index means first command;
2017-03-12 ago discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16;
2017-03-12 ago tuned;
2017-03-11 ago tuned;
2017-01-10 ago support "purge" operation on document model;
2017-01-09 ago tuned signature;
2017-01-07 ago uniform Document.Model.node_edits (without void edits);
2017-01-07 ago obsolete;
2017-01-07 ago tuned;
2017-01-06 ago tuned;
2017-01-05 ago misc tuning and clarification;
2017-01-05 ago tuned;
2017-01-05 ago tuned;
2016-12-28 ago clarified modules;
2016-12-28 ago clarified signature: explicit Length to avoid implicit mistakes;
2016-12-23 ago tuned;
2016-08-02 ago tuned signature -- prover-independence is presently theoretical;
2016-08-02 ago support 'abbrevs' within theory header;
2016-04-20 ago reactivated other_id reports (see also db929027e701, 8eda56033203);
2016-04-18 ago tuned signature;
2016-03-01 ago clarified modules;
2015-09-19 ago straight-forward refresh, without special preconditions;
2015-08-25 ago clarified undefined_blobs: already loaded theories are suppressed;
2015-08-15 ago more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;
2015-08-12 ago resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
2015-05-03 ago misc tuning, based on warnings by IntelliJ IDEA;
2015-03-15 ago hybrid use of command blobs: inlined errors and auxiliary files;
2015-03-14 ago clarified positions of theory imports;
2015-01-15 ago proper update of perspective after implicit edit due to reparse (e.g. ~~/src/HOL/Nat.thy);
2015-01-08 ago tuned;
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;