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);