| 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 |