automatically build session image;

tuned signature;

just one synchronized access to global state: works recursively on JVM; tuned;

clarified modules;

clarified file URI operations;

more precise markup; tuned signature;

automatically resolve dependencies from document models and file-system;

clarified;

tuned;

ignore message;

clarified node_visible;

tuned signature;

proper state update;

proper log;

tuned;

tuned signature;

tuned signature;

proper import_name;

more elementary rules about div / mod on int

complete set of cases rules for integers known to be (non-)positive/negative; legacy theorem branding

more facts on sgn, abs

dropped slightly outdated comment

merged

manage changes of external files; tuned;

more explicit edits -- eliminated Clear;

tuned;

clarified Document_Model perspective and edits;

tuned;

more uniform errors in '(prim)(co)rec(ursive)' variants

re-use options from resources;

moved main state to VSCode_Resources; misc tuning;

re-use resources from session;

clarified Document.length -- independent of text_length;

more robust shutdown;

watcher for file-system events;

tuned comments;

tuned;

publish extension on Visual Studio Marketplace;

updated VSCode extension to "isabelle vscode_server";

merged

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;

support for syslog messages; clarified shutdown;

prefer stable state -- reduce repeated diagnostics;

more uniform pending_input / pending_output; explicit Document_Model.uri; tuned;

unused;

precise full_range and thus proper try_restrict in Snapshot.cumulate;

clarified protocol errors;

clarified signature;

unused;

clarified options;

clarified signature: maintan Text.Length within Line.Document;

clarified modules;

clarified signature: explicit Length to avoid implicit mistakes;

tuned;

more uniform treatment of input/output wrt. client; support for diagnistic messages; misc tuning;

tuned;