2017-06-26 ago proper bootstrap_name (amending b42743f5b595);
2017-06-21 ago tuned signature;
2017-06-21 ago tuned signature;
2017-06-20 ago added commands for spell-checker dictionary;
2017-06-17 ago maintain overlays within main state of document models;
2017-06-16 ago proper treatment of editor overlays;
2017-06-13 ago clarified signature;
2017-05-30 ago tuned signature;
2017-05-25 ago restricted perspective depending on the caret -- important for reactivity when editing big files;
2017-04-21 ago eliminated default_qualifier: just a constant;
2017-04-20 ago tuned signature;
2017-04-17 ago prefer formal name from session context, for proper qualified theory name;
2017-04-13 ago tuned signature (again);
2017-04-12 ago tuned;
2017-04-12 ago clarified loaded_theories: map to qualified theory name;
2017-04-10 ago clarified signature;
2017-04-08 ago more session_base information in ML;
2017-04-03 ago tuned signature;
2017-04-03 ago provide session qualifier via resources;
2017-03-14 ago avoid race condition between current_state().stable_tip_version and model.rendering();
2017-03-12 ago clarified caret offset;
2017-03-12 ago tuned signature;
2017-03-12 ago discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16;
2017-03-11 ago dynamic output, depending on caret focus (see also Tools/jEdit/src/output_dockable.scala);
2017-03-11 ago support for caret handling and dynamic output;
2017-03-09 ago incremental document changes;
2017-03-07 ago decorations for spell-checker;
2017-03-07 ago clarified options;
2017-03-06 ago tuned;
2017-03-05 ago tuned signature;
2017-03-05 ago tuned;
2017-03-05 ago simplified;
2017-03-05 ago publish output more thoroughly;
2017-03-05 ago potentially redundant pending_output, for the sake of uniformity and reactivity;
2017-03-05 ago tuned;
2017-03-05 ago tuned;
2017-03-05 ago more robust treatment of pending input/output: these are often correlated;
2017-03-04 ago clarified pretty margin;
2017-03-03 ago publish decorations like diagnostics;
2017-01-11 ago support for semantic completion;
2017-01-11 ago clarified text output wrt. symbols;
2017-01-09 ago tuned;
2017-01-09 ago clarified modules;
2017-01-09 ago tuned signature;
2017-01-08 ago tuned signature;
2017-01-08 ago tuned;
2017-01-08 ago support for bibtex entries;
2017-01-08 ago more explocit Document_Model.Content;
2017-01-07 ago tuned signature;
2017-01-07 ago clarified lazy text content;
2017-01-07 ago tuned;
2017-01-06 ago tuned signature;
2017-01-05 ago more robust treatment of logical lines;
2017-01-05 ago manage document blobs as well;
2017-01-05 ago tuned;
2017-01-04 ago proper registration of implicitly loaded files;
2017-01-04 ago tuned;
2017-01-04 ago clarified Document.Node.Name (again): canonical platform file;
2017-01-04 ago clarified file URIs;
2017-01-03 ago clarified file URLs, notably for Windows UNC paths;