| changeset 26919 | 14b4d95d4be2 |
| parent 26918 | 76046022d31f |
| child 30871 | 104b13484feb |
| 26918:76046022d31f | 26919:14b4d95d4be2 |
|---|---|
1 %% $Id$ |
1 %% $Id$ |
2 %% |
2 %% |
3 %% smart url or hyperref setup -- special version for Isabelle documentation |
3 %% hyperref setup -- special version for Isabelle documentation |
4 %% |
4 %% |
5 |
5 |
6 \message{pdfsetup.sty v0.4 2008-05-15} |
6 \message{pdfsetup.sty v0.4 2008-05-15} |
7 |
7 |
8 \usepackage{color} |
8 \usepackage{color} |