descriptionThe Isabelle repository
ownerisabelle
last changeSun, 11 Apr 2021 07:35:24 +0000
changes
Sun, 11 Apr 2021 07:35:24 +0000 haftmann collected combinatorial material default tip
Sat, 10 Apr 2021 20:22:07 +0200 wenzelm tuned;
Sat, 10 Apr 2021 19:45:51 +0200 wenzelm tuned;
Sat, 10 Apr 2021 14:56:03 +0200 wenzelm more documentation;
Sat, 10 Apr 2021 14:55:50 +0200 wenzelm proper treatment of nested antiquotations;
Fri, 09 Apr 2021 22:06:59 +0200 wenzelm support for ML special forms: modified evaluation similar to Scheme;
Fri, 09 Apr 2021 21:07:11 +0200 wenzelm clarified signature: more detailed token positions for antiquotations;
Thu, 08 Apr 2021 20:52:19 +0200 wenzelm merged
Thu, 08 Apr 2021 16:43:35 +0200 wenzelm clarified signature;
Thu, 08 Apr 2021 12:38:18 +0000 haftmann confluent preprocessing for floats in presence of target language numerals
...
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
Sun, 11 Apr 2021 07:35:24 +0000 default
...