src/Tools/VSCode/src/vscode_resources.scala
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;
2017-01-03 ago clarified master_dir: file-URL;
2017-01-02 ago proper bootstrap name, e.g. for Pure.thy;
2017-01-01 ago just one synchronized access to global state: works recursively on JVM;
2017-01-01 ago clarified file URI operations;
2016-12-31 ago automatically resolve dependencies from document models and file-system;
2016-12-31 ago clarified;
2016-12-31 ago tuned signature;
2016-12-31 ago proper state update;
2016-12-31 ago tuned;