2010-05-28 | wenzelm | some updates for release; | file | diff | annotate |
2009-04-15 | wenzelm | updated for Isabelle2009; | file | diff | annotate |
2008-06-20 | wenzelm | updated for 2008; | file | diff | annotate |
2007-10-01 | wenzelm | updated year to 2007; | file | diff | annotate |
2005-09-21 | wenzelm | updated for Isabelle2005; | file | diff | annotate |
2004-06-21 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
2003-06-19 | paulson | inserted TUM in other places | file | diff | annotate |
2003-06-16 | paulson | added TUM | file | diff | annotate |
1993-12-13 | lcp | new year | file | diff | annotate |
1993-09-16 | clasohm | Initial revision | file | diff | annotate |