doc-src/pdfsetup.sty
author wenzelm
Mon Jul 20 19:06:39 1998 +0200 (1998-07-20)
changeset 5165 ac83801ab294
child 6609 28726a610a17
permissions -rw-r--r--
added pdfsetup and isabelle logo;
     1 
     2 %\usepackage[pdftex,a4paper,colorlinks=true]{hyperref}