descriptionThe Isabelle repository
ownerisabelle
last changeSun, 25 Sep 2022 19:10:43 +0000
changes
Sun, 25 Sep 2022 19:10:43 +0000 haftmann streamlined division on polynomials default tip
Thu, 22 Sep 2022 20:20:37 +0200 wenzelm clarified signature: re-use store/cache from build results;
Thu, 22 Sep 2022 20:04:57 +0200 wenzelm tuned signature;
Thu, 22 Sep 2022 17:24:50 +0200 wenzelm clarified signature: persistent Node.source / Snapshot.source;
Thu, 22 Sep 2022 16:29:26 +0200 wenzelm more examples;
Thu, 22 Sep 2022 16:17:02 +0200 wenzelm proper filter (amending fb4215da4919);
Thu, 22 Sep 2022 14:14:45 +0200 wenzelm clarified conditions: no_build is ok for presentation if "all_current" holds;
Thu, 22 Sep 2022 11:55:24 +0200 wenzelm tuned;
Thu, 22 Sep 2022 11:51:44 +0200 wenzelm tuned signature;
Thu, 22 Sep 2022 11:45:30 +0200 wenzelm clarified presentation_sessions: work with partial results;
...
tags
Sun, 18 Sep 2022 00:00:05 +0200 Isabelle2022-RC2
Sat, 10 Sep 2022 20:44:22 +0200 Isabelle2022-RC1
Mon, 08 Aug 2022 20:01:18 +0200 Isabelle2022-RC0
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
...
bookmarks
...
branches
Sun, 25 Sep 2022 19:10:43 +0000 default
...