merged

generalized standard formula redundancy out of standard redundancy

discontinued Parse.text;

merged

discontinued old-style {* verbatim *} tokens;

tuned proof;

discontinued old-style {* verbatim *} tokens;

isabelle update_cartouches;

weakened locale assumptions: wfP implies asymp

Add papers to metadata.

refactored Standard_Redundancy_Criterion to not use ordering type classes

isabelle update_cartouches;

removed obsolete "extend" operation;

more symbolic latex_output via XML (using YXML within text);

more symbolic latex_output via XML (using YXML within text);

tuned signature: remove unused;

prefer symbolic Latex.environment (typeset in Isabelle/Scala);

clarified corner cases of syntax;

tuned signature;

clarified Parse.embedded_ml: follow documentation (8baf2e8b16e2);

prefer symbolic Latex.environment (typeset in Isabelle/Scala);

tuned signature;

only Windows 10 is tested;

a slightly simpler proof

Update config.guess and config.sub from automake-1.16.3. For some reason…

provide component naproche-2d99afe5c349;

feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics…

merged

Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2

more documentation about Type/Const antiquotations;

more documentation about document build options;

tuned --- fewer IDE warnings;

address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of…

more robust physical timeout (despite 1bea05713dde), especially relevant for…

Update config.sub and config.guess and include a script to do this in the…

Check for presence of Mach-O relocation files and only include them if they're

Fix incorrect argument when printing byte code assembly code.