isabelle: Changelog

wenzelm [Sun, 05 Dec 2021 16:26:03 +0100] rev 74882

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

wenzelm [Sun, 05 Dec 2021 15:54:46 +0100] rev 74881

tuned signature;

wenzelm [Sun, 05 Dec 2021 12:50:36 +0100] rev 74880

clarified corner cases of syntax;

wenzelm [Sun, 05 Dec 2021 12:23:10 +0100] rev 74879

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

paulson <lp15@cam.ac.uk> [Sat, 04 Dec 2021 20:30:16 +0000] rev 74878

a slightly simpler proof

wenzelm [Sat, 04 Dec 2021 17:23:42 +0100] rev 74877

provide component naproche-2d99afe5c349;

wenzelm [Sat, 04 Dec 2021 12:38:51 +0100] rev 74876

merged

wenzelm [Sat, 04 Dec 2021 12:38:32 +0100] rev 74875

Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2

wenzelm [Fri, 03 Dec 2021 20:11:21 +0100] rev 74874

more documentation about Type/Const antiquotations;

wenzelm [Fri, 03 Dec 2021 15:11:16 +0100] rev 74873

more documentation about document build options;

isabelle