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;

more uniform treatment of "bad" like other messages (with serial number);

clarified modules;

support for diagnostics;

print constants in 'primrec', 'primcorec(ursive)', 'corec(ursive)', like in 'definition' and 'fun(ction)'

more uniform treatment of file name vs. theory name and special header;

clarified document: no stored text;

clarified header text;

restored instance for char, which got ancidentally lost in b3f2b8c906a6

merged

proper file:// URL for external references;

full range for Position.Item; more hyperlinks for VSCode;

tuned;

tuned;

tuned;

tuned;

tuned;

suppress dummy id;

omit unused markup;

removed junk;

proper clean_yxml;

clarified modules;

tuned;

clarified message;

clarified signature;

tuned -- use zero-based Line.Position;

VSCode already detects URLs from plain text;

clarified signature;

tuned signature;

tuned signature -- more explicit types;

basic support for hyperlinks / Goto Definition Request;

clarified border cases;

tuned messages;

proper pattern match;

more explicit error;

more explicit error;

display messages, according to regular Isabelle Output;

tuned;

clarified node_name: preserve original uri;

clarified directories;

generalized generation of coinduction goal (towards nonuniform codatatypes)

export ML functions (towards nonuniform codatatypes) + signature tuning

export ML function

more uniform div/mod relations

proper logical constants

prefer existing logical constant over abbreviation

dropped aliasses

removed dangerous simp rule: prime computations can be excessively long

emphasize dedicated rewrite rules for congruences

moved and exported tactic

export ML function (towards nonuniform datatypes)

generalized ML function (towards nonuniform datatypes)

generalized ML function (towards nonuniform datatypes)

merge

renamed confusing variable names

clarified module name;

more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;

clarified module name;

merged

proper reset of column (amending 01e50039edc9);

added option -T: text length encoding;

more systematic text length wrt. encoding;

tuned;

more systematic text length;

unused;

proper counting of chars;

tuned;

clarified modules;

clarified modules;

tuned;

merge

generalized code (towards nonuniform datatypes)

clarified modules;

basic support for VSCode Language Server protocol; minimal extension for VSCode editor;

misc tuning and modernization;

tuned whitespace;

added isabelle jedit -R; errors in session_info/session_content are ignored and deferred to later checks of Build.build;

misc tuning and modernization;

more standard notation (like infix);

dummy fork to produce ML_statistics even in sequential mode (e.g. for heap size);

expose stderr, e.g. Multithreading.tracing;

test parallel proof terms in this small session (somewhat slow for bigger applications);

tuned messages -- more symbols;

tuned;

more permissive syntax; more PIDE markup;