1.1 --- a/doc-src/pdfsetup.sty	Thu May 15 22:02:05 2008 +0200
     1.2 +++ b/doc-src/pdfsetup.sty	Thu May 15 22:03:32 2008 +0200
     1.3 @@ -3,12 +3,12 @@
     1.4  %% smart url or hyperref setup -- special version for Isabelle documentation
     1.5  %%
     1.6  
     1.7 -\message{pdfsetup.sty v0.3 29/9/2005}
     1.8 +\message{pdfsetup.sty v0.4 2008-05-15}
     1.9  
    1.10  \usepackage{color}
    1.11  \definecolor{linkcolor}{rgb}{0,0,0}
    1.12 +\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
    1.13  
    1.14 -\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
    1.15  \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
    1.16  \gdef\fnote#1{\hyperpage{#1}n}
    1.17  \gdef\bold#1{\textbf{\hyperpage{#1}}}