| Sun, 12 Jan 2025 23:07:50 +0100 | tip | changeset | changelog | files |
| Mon, 06 Jan 2025 16:38:46 +0100 | Isabelle2025-RC0 | changeset | changelog | files |
| Mon, 20 May 2024 15:43:51 +0200 | Isabelle2024 | changeset | changelog | files |
| Mon, 11 Sep 2023 19:30:48 +0200 | Isabelle2023 | changeset | changelog | files |
| Mon, 24 Oct 2022 20:37:32 +0200 | Isabelle2022 | changeset | changelog | files |
| Mon, 24 Jan 2022 21:29:37 +0100 | build_history_base_arm | changeset | changelog | files |
| Sat, 11 Dec 2021 11:24:48 +0100 | Isabelle2021-1 | changeset | changelog | files |
| Sat, 20 Feb 2021 13:42:37 +0100 | Isabelle2021 | changeset | changelog | files |
| Mon, 13 Apr 2020 22:08:14 +0200 | Isabelle2020 | changeset | changelog | files |
| Sat, 01 Jun 2019 11:29:59 +0200 | Isabelle2019 | changeset | changelog | files |
| Sun, 12 Aug 2018 14:28:28 +0200 | Isabelle2018 | changeset | changelog | files |
| Wed, 04 Oct 2017 12:00:53 +0200 | Isabelle2017 | changeset | changelog | files |
| Mon, 12 Dec 2016 11:17:23 +0100 | Isabelle2016-1 | changeset | changelog | files |
| Mon, 15 Feb 2016 14:55:44 +0100 | Isabelle2016 | changeset | changelog | files |
| Sat, 23 May 2015 17:19:37 +0200 | Isabelle2015 | changeset | changelog | files |
| Mon, 18 Aug 2014 12:17:31 +0200 | Isabelle2014 | changeset | changelog | files |
| Wed, 04 Dec 2013 18:59:20 +0100 | Isabelle2013-2 | changeset | changelog | files |
| Sat, 09 Nov 2013 18:00:36 +0100 | Isabelle2013-1 | changeset | changelog | files |
| Mon, 11 Feb 2013 14:39:04 +0100 | Isabelle2013 | changeset | changelog | files |
| Tue, 08 Jan 2013 21:16:51 +0100 | build_history_base | changeset | changelog | files |
| Sun, 20 May 2012 11:34:33 +0200 | Isabelle2012 | changeset | changelog | files |
| Sun, 09 Oct 2011 16:47:58 +0200 | Isabelle2011-1 | changeset | changelog | files |
| Sun, 30 Jan 2011 13:02:18 +0100 | Isabelle2011 | changeset | changelog | files |
| Mon, 21 Jun 2010 11:24:19 +0200 | Isabelle2009-2 | changeset | changelog | files |
| Wed, 02 Dec 2009 12:04:07 +0100 | Isabelle2009-1 | changeset | changelog | files |
| Thu, 16 Apr 2009 17:29:56 +0200 | Isabelle2009 | changeset | changelog | files |
| Sun, 08 Jun 2008 14:31:06 +0200 | Isabelle2008 | changeset | changelog | files |
| Thu, 22 Nov 2007 14:51:34 +0100 | Isabelle2007 | changeset | changelog | files |
| Fri, 30 Sep 2005 18:18:34 +0200 | Isabelle2005 | changeset | changelog | files |
| Mon, 19 Apr 2004 14:04:41 +0200 | Isabelle2004_0 | changeset | changelog | files |
| Tue, 13 May 2003 08:59:21 +0200 | Isabelle2003 | changeset | changelog | files |
| Fri, 08 Mar 2002 16:24:06 +0100 | Isabelle2002 | changeset | changelog | files |
| Thu, 15 Feb 2001 17:18:54 +0100 | Isabelle99-2 | changeset | changelog | files |
| Fri, 06 Oct 2000 17:35:58 +0200 | Isabelle99-1 | changeset | changelog | files |
| Sun, 31 Oct 1999 20:11:23 +0100 | Isabelle99 | changeset | changelog | files |
| Sun, 25 Oct 1998 12:33:27 +0100 | Isabelle98-1 | changeset | changelog | files |
| Wed, 14 Jan 1998 11:22:03 +0100 | Isabelle98 | changeset | changelog | files |
| Tue, 27 May 1997 15:45:07 +0200 | Isabelle94-8 | changeset | changelog | files |
| Wed, 13 Nov 1996 10:47:08 +0100 | Isabelle94-7 | changeset | changelog | files |
| Tue, 16 Jul 1996 15:49:46 +0200 | Isabelle94-6 | changeset | changelog | files |
| Thu, 18 Jan 1996 10:38:29 +0100 | Isabelle94-5 | changeset | changelog | files |
| Mon, 14 Aug 1995 13:42:27 +0200 | Isabelle94-4 | changeset | changelog | files |
| Tue, 25 Apr 1995 11:14:03 +0200 | Isabelle94-3 | changeset | changelog | files |
| Fri, 13 Jan 1995 02:02:00 +0100 | Isabelle94-2 | changeset | changelog | files |
| Tue, 04 Oct 1994 13:02:16 +0100 | Isabelle94-1 | changeset | changelog | files |
| Wed, 14 Sep 1994 16:11:19 +0200 | Isabelle94 | changeset | changelog | files |
| Mon, 06 Dec 1993 17:05:10 +0100 | Isabelle93 | changeset | changelog | files |