descriptionThe Isabelle repository
ownerisabelle
last changeFri, 18 Jun 2021 15:03:12 +0200
changes
Fri, 18 Jun 2021 15:03:12 +0200 wenzelm tuned --- following hints by IntelliJ; default tip
Fri, 18 Jun 2021 14:35:48 +0200 wenzelm tuned signature;
Fri, 18 Jun 2021 12:13:43 +0200 wenzelm tuned;
Fri, 18 Jun 2021 12:13:09 +0200 wenzelm tuned;
Fri, 18 Jun 2021 12:12:28 +0200 wenzelm tuned signature;
Fri, 18 Jun 2021 11:48:43 +0200 wenzelm tuned;
Fri, 18 Jun 2021 11:32:32 +0200 wenzelm tuned signature (see 2d6a489adb01);
Thu, 17 Jun 2021 12:57:22 +0200 desharna added support for TFX's and THF's $ite to Sledgehammer
Thu, 17 Jun 2021 11:27:21 +0200 desharna tuned Mirabelle documentation
Thu, 17 Jun 2021 10:46:27 +0200 desharna shortened long lines
...
tags
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
Sat, 23 May 2015 17:19:37 +0200 Isabelle2015
Mon, 18 Aug 2014 12:17:31 +0200 Isabelle2014
Wed, 04 Dec 2013 18:59:20 +0100 Isabelle2013-2
...
bookmarks
...
branches
Fri, 18 Jun 2021 15:03:12 +0200 default
...