2017-01-02 wenzelm 2017-01-02 tuned;
2017-01-01 wenzelm 2017-01-01 proper packaging;
2017-01-01 wenzelm 2017-01-01 generate uuid;
2017-01-01 wenzelm 2017-01-01 generate static TextMate grammar for VSCode editor;
2017-01-01 wenzelm 2017-01-01 proper default;
2017-01-01 wenzelm 2017-01-01 clarified file name;
2017-01-01 wenzelm 2017-01-01 tuned;
2017-01-01 wenzelm 2017-01-01 more configuration;
2017-01-01 wenzelm 2017-01-01 automatically build session image;
2017-01-01 wenzelm 2017-01-01 tuned signature;
2017-01-01 wenzelm 2017-01-01 just one synchronized access to global state: works recursively on JVM; tuned;
2017-01-01 wenzelm 2017-01-01 clarified modules;
2017-01-01 wenzelm 2017-01-01 clarified file URI operations;
2016-12-31 wenzelm 2016-12-31 more precise markup; tuned signature;
2016-12-31 wenzelm 2016-12-31 automatically resolve dependencies from document models and file-system;
2016-12-31 wenzelm 2016-12-31 clarified;
2016-12-31 wenzelm 2016-12-31 tuned;
2016-12-31 wenzelm 2016-12-31 ignore message;
2016-12-31 wenzelm 2016-12-31 clarified node_visible;
2016-12-31 wenzelm 2016-12-31 tuned signature;
2016-12-31 wenzelm 2016-12-31 proper state update;
2016-12-31 wenzelm 2016-12-31 proper log;
2016-12-31 wenzelm 2016-12-31 tuned;
2016-12-31 wenzelm 2016-12-31 tuned signature;
2016-12-31 wenzelm 2016-12-31 tuned signature;
2016-12-31 wenzelm 2016-12-31 proper import_name;
2016-12-31 haftmann 2016-12-31 more elementary rules about div / mod on int
2016-12-30 haftmann 2016-12-30 complete set of cases rules for integers known to be (non-)positive/negative; legacy theorem branding
2016-12-30 haftmann 2016-12-30 more facts on sgn, abs
2016-12-30 haftmann 2016-12-30 dropped slightly outdated comment
2016-12-30 wenzelm 2016-12-30 merged
2016-12-30 wenzelm 2016-12-30 manage changes of external files; tuned;
2016-12-30 wenzelm 2016-12-30 more explicit edits -- eliminated Clear;
2016-12-30 wenzelm 2016-12-30 tuned;
2016-12-30 wenzelm 2016-12-30 clarified Document_Model perspective and edits;
2016-12-30 wenzelm 2016-12-30 tuned;
2016-12-30 blanchet 2016-12-30 more uniform errors in '(prim)(co)rec(ursive)' variants
2016-12-29 wenzelm 2016-12-29 re-use options from resources;
2016-12-29 wenzelm 2016-12-29 moved main state to VSCode_Resources; misc tuning;
2016-12-29 wenzelm 2016-12-29 re-use resources from session;
2016-12-29 wenzelm 2016-12-29 clarified Document.length -- independent of text_length;
2016-12-29 wenzelm 2016-12-29 more robust shutdown;
2016-12-29 wenzelm 2016-12-29 watcher for file-system events;
2016-12-29 wenzelm 2016-12-29 tuned comments;
2016-12-28 wenzelm 2016-12-28 tuned;
2016-12-28 wenzelm 2016-12-28 publish extension on Visual Studio Marketplace;
2016-12-28 wenzelm 2016-12-28 updated VSCode extension to "isabelle vscode_server";
2016-12-28 wenzelm 2016-12-28 merged
2016-12-28 wenzelm 2016-12-28 DiagnosticSeverity according to implementation https://github.com/Microsoft/vscode-languageserver-node instead of documentation https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md;
2016-12-28 wenzelm 2016-12-28 support for syslog messages; clarified shutdown;
2016-12-28 wenzelm 2016-12-28 prefer stable state -- reduce repeated diagnostics;
2016-12-28 wenzelm 2016-12-28 more uniform pending_input / pending_output; explicit Document_Model.uri; tuned;
2016-12-28 wenzelm 2016-12-28 unused;
2016-12-28 wenzelm 2016-12-28 precise full_range and thus proper try_restrict in Snapshot.cumulate;
2016-12-28 wenzelm 2016-12-28 clarified protocol errors;
2016-12-28 wenzelm 2016-12-28 clarified signature;
2016-12-28 wenzelm 2016-12-28 unused;
2016-12-28 wenzelm 2016-12-28 clarified options;
2016-12-28 wenzelm 2016-12-28 clarified signature: maintan Text.Length within Line.Document;
2016-12-28 wenzelm 2016-12-28 clarified modules;