Sat, 05 Dec 2020 19:30:37 +0100 tip
Sun, 29 Nov 2020 23:23:32 +0100 Isabelle2021-RC0
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
Mon, 11 Feb 2013 14:39:04 +0100 Isabelle2013
Tue, 08 Jan 2013 21:16:51 +0100 build_history_base
Sun, 20 May 2012 11:34:33 +0200 Isabelle2012
Sun, 09 Oct 2011 16:47:58 +0200 Isabelle2011-1
Sun, 30 Jan 2011 13:02:18 +0100 Isabelle2011
Mon, 21 Jun 2010 11:24:19 +0200 Isabelle2009-2
Wed, 02 Dec 2009 12:04:07 +0100 Isabelle2009-1
Thu, 16 Apr 2009 17:29:56 +0200 Isabelle2009
Sun, 08 Jun 2008 14:31:06 +0200 Isabelle2008
Thu, 22 Nov 2007 14:51:34 +0100 Isabelle2007
Fri, 30 Sep 2005 18:18:34 +0200 Isabelle2005
Mon, 19 Apr 2004 14:04:41 +0200 Isabelle2004_0
Tue, 13 May 2003 08:59:21 +0200 Isabelle2003
Fri, 08 Mar 2002 16:24:06 +0100 Isabelle2002
Thu, 15 Feb 2001 17:18:54 +0100 Isabelle99-2
Fri, 06 Oct 2000 17:35:58 +0200 Isabelle99-1
Sun, 31 Oct 1999 20:11:23 +0100 Isabelle99
Sun, 25 Oct 1998 12:33:27 +0100 Isabelle98-1
Wed, 14 Jan 1998 11:22:03 +0100 Isabelle98
Tue, 27 May 1997 15:45:07 +0200 Isabelle94-8
Wed, 13 Nov 1996 10:47:08 +0100 Isabelle94-7
Tue, 16 Jul 1996 15:49:46 +0200 Isabelle94-6
Thu, 18 Jan 1996 10:38:29 +0100 Isabelle94-5
Mon, 14 Aug 1995 13:42:27 +0200 Isabelle94-4
Tue, 25 Apr 1995 11:14:03 +0200 Isabelle94-3
Fri, 13 Jan 1995 02:02:00 +0100 Isabelle94-2
Tue, 04 Oct 1994 13:02:16 +0100 Isabelle94-1
Wed, 14 Sep 1994 16:11:19 +0200 Isabelle94
Mon, 06 Dec 1993 17:05:10 +0100 Isabelle93