descriptionThe Isabelle repository
ownerisabelle
last changeSun, 05 Dec 2021 20:17:17 +0100
changes
Sun, 05 Dec 2021 20:17:17 +0100 wenzelm more symbolic latex_output via XML (using YXML within text); default tip
Sun, 05 Dec 2021 16:46:50 +0100 wenzelm tuned signature: remove unused;
Sun, 05 Dec 2021 16:26:03 +0100 wenzelm prefer symbolic Latex.environment (typeset in Isabelle/Scala);
Sun, 05 Dec 2021 15:54:46 +0100 wenzelm tuned signature;
Sun, 05 Dec 2021 12:50:36 +0100 wenzelm clarified corner cases of syntax;
Sun, 05 Dec 2021 12:23:10 +0100 wenzelm clarified Parse.embedded_ml: follow documentation (8baf2e8b16e2);
Sat, 04 Dec 2021 20:30:16 +0000 paulson a slightly simpler proof
Sat, 04 Dec 2021 17:23:42 +0100 wenzelm provide component naproche-2d99afe5c349;
Sat, 04 Dec 2021 12:38:51 +0100 wenzelm merged
Sat, 04 Dec 2021 12:38:32 +0100 wenzelm Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2
...
tags
Fri, 03 Dec 2021 20:11:21 +0100 Isabelle2021-1-RC5
Fri, 26 Nov 2021 13:36:45 +0100 Isabelle2021-1-RC4
Fri, 12 Nov 2021 17:22:06 +0100 Isabelle2021-1-RC3
Sun, 07 Nov 2021 16:30:42 +0100 Isabelle2021-1-RC2
Mon, 01 Nov 2021 15:49:03 +0100 Isabelle2021-1-RC1
Sat, 02 Oct 2021 22:11:34 +0200 Isabelle2021-1-RC0
Sat, 20 Feb 2021 13:42:37 +0100 Isabelle2021
Mon, 13 Apr 2020 22:08:14 +0200 Isabelle2020
Sat, 01 Jun 2019 11:29:59 +0200 Isabelle2019
Sun, 12 Aug 2018 14:28:28 +0200 Isabelle2018
...
bookmarks
...
branches
Sun, 05 Dec 2021 20:17:17 +0100 default
...