equal
deleted
inserted
replaced
1 %% $Id$ |
1 %% $Id$ |
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.4 2008-05-15} |
7 |
7 |
8 \usepackage{color} |
8 \usepackage{color} |
9 \definecolor{linkcolor}{rgb}{0,0,0} |
9 \definecolor{linkcolor}{rgb}{0,0,0} |
|
10 \usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref} |
10 |
11 |
11 \usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref} |
|
12 \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}} |
12 \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}} |
13 \gdef\fnote#1{\hyperpage{#1}n} |
13 \gdef\fnote#1{\hyperpage{#1}n} |
14 \gdef\bold#1{\textbf{\hyperpage{#1}}} |
14 \gdef\bold#1{\textbf{\hyperpage{#1}}} |
15 |
15 |
16 \urlstyle{rm} |
16 \urlstyle{rm} |