| changeset 26919 | 14b4d95d4be2 |
| parent 26918 | 76046022d31f |
| child 30871 | 104b13484feb |
--- a/doc-src/pdfsetup.sty Thu May 15 22:03:32 2008 +0200 +++ b/doc-src/pdfsetup.sty Thu May 15 22:10:18 2008 +0200 @@ -1,6 +1,6 @@ %% $Id$ %% -%% smart url or hyperref setup -- special version for Isabelle documentation +%% hyperref setup -- special version for Isabelle documentation %% \message{pdfsetup.sty v0.4 2008-05-15}