| Fri, 22 Apr 2005 01:48:08 +0200 | kleing | check in Isabelle2004 versions to make web page changes easier | file | diff | annotate |
| Mon, 29 Mar 2004 08:54:26 +0200 | kleing | allow sections in contents file | file | diff | annotate |
| Sun, 17 Sep 2000 22:15:08 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Sep 2000 22:49:17 +0200 | wenzelm | dummy (generated by makedist); | file | diff | annotate |