| changeset 8891 | 8760f7cdb326 |
| parent 6643 | ff827fccffb5 |
| child 11409 | f0bcb3dfa7d6 |
| 8890:9a44d8d98731 | 8891:8760f7cdb326 |
|---|---|
1 |
1 |
2 \@ifundefined{pdfoutput}{\usepackage{../url}} |
2 \@ifundefined{pdfoutput}{\usepackage{../url}} |
3 {\usepackage[pdftex,a4paper,colorlinks=true]{hyperref} |
3 {\usepackage[pdftex,a4paper,colorlinks=true]{hyperref} |
4 \gdef\bold#1{\textbf{\hyperpage{#1}}}} |
4 \gdef\bold#1{\textbf{\hyperpage{#1}}}} |
5 |
|
6 \urlstyle{rm} |