descriptionThe Isabelle repository
ownerisabelle
last changeMon, 06 Dec 2021 15:34:54 +0100
changes
Mon, 06 Dec 2021 15:34:54 +0100 wenzelm discontinued old-style {* verbatim *} tokens; default tip
Mon, 06 Dec 2021 15:10:15 +0100 wenzelm tuned proof;
Mon, 06 Dec 2021 12:39:59 +0100 wenzelm isabelle update_cartouches;
Sun, 05 Dec 2021 20:17:17 +0100 wenzelm more symbolic latex_output via XML (using YXML within text);
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
...
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
Mon, 06 Dec 2021 15:34:54 +0100 default
...