descriptionThe Isabelle repository
ownerisabelle
last changeMon, 04 Jul 2022 10:08:10 +0000
changes
Mon, 04 Jul 2022 10:08:10 +0000 haftmann corrections and adjustions for Scala 3 default tip
Mon, 04 Jul 2022 07:57:23 +0000 haftmann more complete set of code equations
Mon, 04 Jul 2022 07:57:22 +0000 haftmann officical abstract characters for code generation
Fri, 01 Jul 2022 20:47:16 +0200 wenzelm provide components for scala3 (still inactive);
Fri, 01 Jul 2022 20:27:56 +0200 wenzelm updated download version;
Fri, 01 Jul 2022 19:58:38 +0200 wenzelm obsolete;
Fri, 01 Jul 2022 19:57:06 +0200 wenzelm more keywords for scala3;
Fri, 01 Jul 2022 16:03:10 +0200 wenzelm discontinued Isabelle tools implemented as .scala scripts;
Fri, 01 Jul 2022 11:44:06 +0200 desharna tuned proofs
Thu, 30 Jun 2022 22:49:47 +0200 wenzelm clarified heap alignment, to make it potentially more stable on macOS;
...
tags
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
Sat, 23 May 2015 17:19:37 +0200 Isabelle2015
Mon, 18 Aug 2014 12:17:31 +0200 Isabelle2014
...
bookmarks
...
branches
Mon, 04 Jul 2022 10:08:10 +0000 default
...