| 2000-05-21 | wenzelm | 2000-05-21 | \urlstyle{rm}; | file | diff | annotate |
| 1999-05-12 | wenzelm | 1999-05-12 | ad-hoc fix for bold indexes; | file | diff | annotate |
| 1999-05-10 | wenzelm | 1999-05-10 | pdf setup; | file | diff | annotate |
| 1999-05-06 | wenzelm | 1999-05-06 | pdf setup; | file | diff | annotate |
| 1998-07-20 | wenzelm | 1998-07-20 | added pdfsetup and isabelle logo; | file | diff | annotate |