doc-src/pdfsetup.sty
2000-05-21 wenzelm 2000-05-21 \urlstyle{rm};
1999-05-12 wenzelm 1999-05-12 ad-hoc fix for bold indexes;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-06 wenzelm 1999-05-06 pdf setup;
1998-07-20 wenzelm 1998-07-20 added pdfsetup and isabelle logo;