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}}}