descriptionThe Isabelle repository
ownerisabelle
last changeSat, 28 Nov 2020 13:49:46 +0100
changes
Sat, 28 Nov 2020 13:49:46 +0100 wenzelm more robust (amending a4d7da18ac5c); default tip
Sat, 28 Nov 2020 09:58:56 +0000 paulson merged
Fri, 27 Nov 2020 21:20:18 +0000 paulson merged
Fri, 27 Nov 2020 21:19:52 +0000 paulson More removal of apply
Fri, 27 Nov 2020 23:51:37 +0100 wenzelm merged
Fri, 27 Nov 2020 23:47:06 +0100 wenzelm more flexible syntax for theory load commands via Isabelle/Scala;
Fri, 27 Nov 2020 21:59:23 +0100 wenzelm clarified theory keywords: loaded_files are determined statically in Scala, but ML needs to do it semantically;
Fri, 27 Nov 2020 19:56:30 +0100 wenzelm proper structural equality;
Fri, 27 Nov 2020 16:44:36 +0100 wenzelm more explicit types;
Fri, 27 Nov 2020 16:40:31 +0100 wenzelm unused (see 7634d33c1a79);
...
tags
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
Sat, 09 Nov 2013 18:00:36 +0100 Isabelle2013-1
...
bookmarks
...
branches
Sat, 28 Nov 2020 13:49:46 +0100 default
...