src/Tools/jEdit/src/document_model.scala
2017-01-08 wenzelm 2017-01-08 tuned;
2017-01-08 wenzelm 2017-01-08 resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
2017-01-08 wenzelm 2017-01-08 tuned;
2017-01-08 wenzelm 2017-01-08 tuned signature;
2017-01-08 wenzelm 2017-01-08 refer to bibtex entries via general Document_Model, instead of editor buffers;
2017-01-08 wenzelm 2017-01-08 clarified modules;
2017-01-07 wenzelm 2017-01-07 uniform Document.Model.node_edits (without void edits);
2017-01-07 wenzelm 2017-01-07 clarified check_thy_reader: check node_name here;
2017-01-07 wenzelm 2017-01-07 more uniform node_header (non-strict); removed dead code;
2017-01-07 wenzelm 2017-01-07 tuned signature;
2017-01-07 wenzelm 2017-01-07 tuned signature;
2017-01-07 wenzelm 2017-01-07 clarified buffer events: exit model while loading; misc tuning;
2017-01-07 wenzelm 2017-01-07 separate Buffer_Model vs. File_Model; misc tuning and clarification;
2017-01-06 wenzelm 2017-01-06 manage buffer models as explicit global state; tuned signature;
2017-01-05 wenzelm 2017-01-05 misc tuning and clarification;
2016-12-28 wenzelm 2016-12-28 tuned;
2016-12-26 wenzelm 2016-12-26 more uniform treatment of file name vs. theory name and special header;
2016-07-11 wenzelm 2016-07-11 tunes signature;
2016-04-19 wenzelm 2016-04-19 more IDE support for Isabelle/Pure bootstrap;
2016-04-09 wenzelm 2016-04-09 support ROOT0.ML as well -- independently of ROOT.ML;
2016-04-06 wenzelm 2016-04-06 treat ROOT.ML as theory with header "theory ML_Root imports ML_Bootstrap begin";
2016-01-25 wenzelm 2016-01-25 more thorough syntax_changed: new commands need require new folds;
2015-11-21 wenzelm 2015-11-21 double flush to ensure persistent "state" output is reset; tuned GUI;
2015-11-02 wenzelm 2015-11-02 avoid highlighted area getting "stuck" after edit;
2015-09-19 wenzelm 2015-09-19 tuned signature;
2015-08-15 wenzelm 2015-08-15 more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;
2015-05-08 wenzelm 2015-05-08 more conservative Document_Model.init: avoid Document.Node.Clear due to change of token marker (e.g. due to change of jEdit mode properties); clarified Isabelle.buffer_token_marker;
2015-05-07 wenzelm 2015-05-07 no GUI_Thread for SideKick parsers (in contrast to 4c8205fe3644), to avoid danger of deadlock due to nested context switch;
2015-03-17 wenzelm 2015-03-17 tuned;
2015-03-17 wenzelm 2015-03-17 tight span for theory header, which is relevant for error positions (including semantic completion);
2015-03-16 wenzelm 2015-03-16 avoid duplicate header errors, more precise positions; tuned signature;
2015-03-15 wenzelm 2015-03-15 clarified span position;
2015-01-08 wenzelm 2015-01-08 tuned;
2014-12-02 wenzelm 2014-12-02 added Untyped.method convenience (for *this* class only);
2014-12-02 wenzelm 2014-12-02 tuned signature -- more explicit types;
2014-12-02 wenzelm 2014-12-02 more careful syntax_changed propagation -- avoid global jEdit.propertiesChanged;
2014-12-02 wenzelm 2014-12-02 node-specific syntax, with base_syntax as default; clarified Document_Model.init: convergence of editor events towards buffer-specific token marker;
2014-12-01 wenzelm 2014-12-01 clarified token marker / syntax for mode vs. buffer;
2014-10-05 wenzelm 2014-10-05 clarified modules;
2014-10-05 wenzelm 2014-10-05 clarified modules;
2014-10-05 wenzelm 2014-10-05 maintain Document_Model.bibtex_entries; clarified Chunk predicates;
2014-08-10 wenzelm 2014-08-10 tuned -- eliminated redundant check (see 1f77110c94ef);
2014-07-23 wenzelm 2014-07-23 more frugal edits;
2014-07-23 wenzelm 2014-07-23 more explicit discrimination of empty nodes -- suppress from Theories panel;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-07-23 wenzelm 2014-07-23 tuned signature;
2014-05-02 wenzelm 2014-05-02 more frugal access to theory text via Reader, reduced costs for I/O text decoding; prefer non-strict Symbol.decode, since Reader[Char] may present symbols in either way;
2014-04-30 wenzelm 2014-04-30 some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
2014-04-26 wenzelm 2014-04-26 tuned signature;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-08 wenzelm 2014-04-08 simplified Text.Chunk -- eliminated ooddities; afford strict symbol_index, which is usually empty anyway;
2014-04-08 wenzelm 2014-04-08 avoid data redundancy;
2014-04-08 wenzelm 2014-04-08 tuned signature -- moved Command.Chunk to Text.Chunk;
2014-04-08 wenzelm 2014-04-08 more explicit Command.Chunk types, less ooddities; tuned;
2014-04-07 wenzelm 2014-04-07 tuned signature -- prefer static type Document.Node.Name;
2014-03-31 wenzelm 2014-03-31 store blob content within document node: aux. files that were once open are made persistent; proper structural equality for Command.File and Symbol.Index;
2014-03-29 wenzelm 2014-03-29 tuned signature;
2014-03-18 wenzelm 2014-03-18 clarifed module name;
2014-02-27 wenzelm 2014-02-27 clarified init_models: simultaneous initialization of all document models, before flushing edits by regular means (via PIDE.editor.invoke) -- important for consolidated doc_blobs when determining initial edits; clarified asynchronous event propagation: determine buffers where they are actually accessed; tuned signature;
2014-02-27 wenzelm 2014-02-27 reparse only for actually changed blobs; tuned signature;