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;

reoriented congruence rules in non-explosive direction

more fine-grained type class hierarchy for div and mod

restructured matter on polynomials and normalized fractions

streamlined computation rules for primality of numerals: no need to go via explicit conversion to nat

tuned fact references

clarified library contents

standardized notation