1.1 --- a/doc-src/pdfsetup.sty	Thu May 15 22:03:32 2008 +0200
     1.2 +++ b/doc-src/pdfsetup.sty	Thu May 15 22:10:18 2008 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  %% $Id$
     1.5  %%
     1.6 -%% smart url or hyperref setup -- special version for Isabelle documentation
     1.7 +%% hyperref setup -- special version for Isabelle documentation
     1.8  %%
     1.9  
    1.10  \message{pdfsetup.sty v0.4 2008-05-15}