src/Tools/VSCode/src/vscode_resources.scala
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;
2016-12-31 ago tuned signature;
2016-12-31 ago proper import_name;
2016-12-30 ago manage changes of external files;
2016-12-30 ago more explicit edits -- eliminated Clear;
2016-12-30 ago tuned;
2016-12-30 ago clarified Document_Model perspective and edits;
2016-12-30 ago tuned;
2016-12-29 ago re-use options from resources;
2016-12-29 ago moved main state to VSCode_Resources;
2016-12-21 ago clarified node_name: preserve original uri;
2016-12-20 ago clarified module name;