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