| 2015-12-31 ago | misc updates for release; | file | diff | annotate |
| 2015-04-08 ago | misc tuning for release; | file | diff | annotate |
| 2014-05-08 ago | update for release; | file | diff | annotate |
| 2012-12-31 ago | updated for release; | file | diff | annotate |
| 2012-04-14 ago | some updates for release; | file | diff | annotate |
| 2011-01-07 ago | updated for 2011; | file | diff | annotate |
| 2010-05-28 ago | some updates for release; | file | diff | annotate |
| 2009-04-15 ago | updated for Isabelle2009; | file | diff | annotate |
| 2008-06-20 ago | updated for 2008; | file | diff | annotate |
| 2007-10-01 ago | updated year to 2007; | file | diff | annotate |
| 2005-09-21 ago | updated for Isabelle2005; | file | diff | annotate |
| 2004-06-21 ago | Merged in license change from Isabelle2004 | file | diff | annotate |
| 2003-06-19 ago | inserted TUM in other places | file | diff | annotate |
| 2003-06-16 ago | added TUM | file | diff | annotate |
| 1993-12-13 ago | new year | file | diff | annotate |
| 1993-09-16 ago | Initial revision | file | diff | annotate |