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;