equal
deleted
inserted
replaced
2 %% |
2 %% |
3 %% smart url or hyperref setup -- special version for Isabelle documentation |
3 %% smart url or hyperref setup -- special version for Isabelle documentation |
4 %% |
4 %% |
5 |
5 |
6 \message{pdfsetup.sty v0.3 29/9/2005} |
6 \message{pdfsetup.sty v0.3 29/9/2005} |
7 |
|
8 \newif\ifpdfoutput |
|
9 \ifx\pdfoutput\undefined |
|
10 \else |
|
11 \ifx\pdfoutput\relax |
|
12 \else |
|
13 \ifcase\pdfoutput |
|
14 \else\pdfoutputtrue\fi |
|
15 \fi |
|
16 \fi |
|
17 |
7 |
18 \usepackage{color} |
8 \usepackage{color} |
19 \definecolor{linkcolor}{rgb}{0,0,0} |
9 \definecolor{linkcolor}{rgb}{0,0,0} |
20 |
10 |
21 \usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref} |
11 \usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref} |