descriptionThe Isabelle repository
ownerisabelle
last changeFri, 29 Sep 2023 17:22:19 +0200
changes
Fri, 29 Sep 2023 17:22:19 +0200 desharna moved variable bindings to tighter scope default tip
Fri, 29 Sep 2023 15:52:56 +0200 desharna removed proof reconstruction from Mirabelle; this is best handled directly in Sledgehammer
Fri, 29 Sep 2023 15:36:12 +0200 desharna removed unused function parameter
Fri, 29 Sep 2023 14:00:09 +0100 paulson merged
Fri, 29 Sep 2023 13:59:56 +0100 paulson A couple of new lemmas
Fri, 29 Sep 2023 11:19:43 +0200 wenzelm merged
Fri, 29 Sep 2023 11:19:19 +0200 wenzelm more NEWS;
Thu, 28 Sep 2023 20:07:30 +0200 wenzelm explicitly reject 'handle' with catch-all patterns;
Thu, 28 Sep 2023 19:40:20 +0200 wenzelm avoid accidental 'handle' of interrupts;
Thu, 28 Sep 2023 19:36:54 +0200 wenzelm tuned: prefer try-catch/finally over low-level 'handle';
...
tags
Mon, 11 Sep 2023 19:30:48 +0200 Isabelle2023
Mon, 24 Oct 2022 20:37:32 +0200 Isabelle2022
Sat, 11 Dec 2021 11:24:48 +0100 Isabelle2021-1
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
Wed, 04 Oct 2017 12:00:53 +0200 Isabelle2017
Mon, 12 Dec 2016 11:17:23 +0100 Isabelle2016-1
Mon, 15 Feb 2016 14:55:44 +0100 Isabelle2016
...
bookmarks
...
branches
Fri, 29 Sep 2023 17:22:19 +0200 default
...