doc-src/pdfsetup.sty
Sun, 21 May 2000 01:16:54 +0200 wenzelm \urlstyle{rm};
Wed, 12 May 1999 17:58:03 +0200 wenzelm ad-hoc fix for bold indexes;
Mon, 10 May 1999 16:35:22 +0200 wenzelm pdf setup;
Thu, 06 May 1999 18:46:50 +0200 wenzelm pdf setup;
Mon, 20 Jul 1998 19:06:39 +0200 wenzelm added pdfsetup and isabelle logo;
less more (0) tip