| Fri, 09 Sep 2022 20:20:06 +0200 | wenzelm | update for release; | file | diff | annotate |
| Mon, 21 Dec 2020 14:03:12 +0100 | wenzelm | misc tuning for release; | file | diff | annotate |
| Mon, 10 Feb 2020 22:33:03 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Tue, 02 Apr 2019 13:15:52 +0200 | wenzelm | misc tuning for release; | file | diff | annotate |
| Wed, 06 Jun 2018 11:49:16 +0200 | wenzelm | updated for release; | file | diff | annotate |
| Mon, 21 Aug 2017 17:15:26 +0200 | wenzelm | misc updates for release; | file | diff | annotate |
| Thu, 31 Dec 2015 21:06:09 +0100 | wenzelm | misc updates for release; | file | diff | annotate |
| Wed, 08 Apr 2015 23:00:09 +0200 | wenzelm | misc tuning for release; | file | diff | annotate |
| Thu, 08 May 2014 19:29:01 +0200 | wenzelm | update for release; | file | diff | annotate |
| Mon, 31 Dec 2012 13:20:23 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Sat, 14 Apr 2012 12:46:45 +0200 | wenzelm | some updates for release; | file | diff | annotate |
| Fri, 07 Jan 2011 14:36:41 +0100 | wenzelm | updated for 2011; | file | diff | annotate |
| Fri, 28 May 2010 11:23:34 +0200 | wenzelm | some updates for release; | file | diff | annotate |
| Wed, 15 Apr 2009 11:14:48 +0200 | wenzelm | updated for Isabelle2009; | file | diff | annotate |
| Fri, 20 Jun 2008 22:02:33 +0200 | wenzelm | updated for 2008; | file | diff | annotate |
| Mon, 01 Oct 2007 19:43:34 +0200 | wenzelm | updated year to 2007; | file | diff | annotate |
| Wed, 21 Sep 2005 11:50:38 +0200 | wenzelm | updated for Isabelle2005; | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Thu, 19 Jun 2003 18:40:39 +0200 | paulson | inserted TUM in other places | file | diff | annotate |
| Mon, 16 Jun 2003 17:48:43 +0200 | paulson | added TUM | file | diff | annotate |
| Mon, 13 Dec 1993 18:18:34 +0100 | lcp | new year | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |