| Sun, 21 May 2000 01:16:54 +0200 | wenzelm | \urlstyle{rm}; | file | diff | annotate |
| Wed, 12 May 1999 17:58:03 +0200 | wenzelm | ad-hoc fix for bold indexes; | file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Thu, 06 May 1999 18:46:50 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Mon, 20 Jul 1998 19:06:39 +0200 | wenzelm | added pdfsetup and isabelle logo; | file | diff | annotate |