descriptionThe Isabelle repository
ownerisabelle
last changeThu, 21 Oct 2021 18:20:08 +0200
changes
Thu, 21 Oct 2021 18:20:08 +0200 wenzelm tuned; default tip
Thu, 21 Oct 2021 18:10:51 +0200 wenzelm clarified modules;
Wed, 20 Oct 2021 20:25:33 +0200 wenzelm clarified modules;
Wed, 20 Oct 2021 20:04:28 +0200 wenzelm clarified modules;
Wed, 20 Oct 2021 18:13:17 +0200 wenzelm discontinued obsolete "val extend = I" for data slots;
Wed, 20 Oct 2021 17:11:46 +0200 wenzelm clarified modules;
Wed, 20 Oct 2021 16:45:10 +0200 wenzelm clarified modules;
Wed, 20 Oct 2021 16:36:49 +0200 wenzelm clarified signature;
Wed, 20 Oct 2021 11:34:28 +0200 wenzelm tuned;
Wed, 20 Oct 2021 11:25:32 +0200 wenzelm clarified keywords and reports;
...
tags
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
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
Thu, 21 Oct 2021 18:20:08 +0200 default
...