doc-src/pdfsetup.sty
1998-07-20 wenzelm 1998-07-20 added pdfsetup and isabelle logo;