1.1 --- a/doc-src/TutorialI/preface.tex	Thu Dec 20 15:17:48 2001 +0100
     1.2 +++ b/doc-src/TutorialI/preface.tex	Thu Dec 20 15:20:07 2001 +0100
     1.3 @@ -48,16 +48,16 @@
     1.4  derived almost entirely from output generated in this way.
     1.5  
     1.6  Isabelle's
     1.7 -\href{http://isabelle.in.tum.de/}{web site}
     1.8 +\hfootref{http://isabelle.in.tum.de/}{web site}
     1.9  contains links to the download area and to documentation and other
    1.10  information.  Most Isabelle sessions are now run from within David
    1.11  Aspinall's wonderful user interface,
    1.12 -\href{http://www.proofgeneral.org/}{Proof General}.  This book says
    1.13 +\hfootref{http://www.proofgeneral.org/}{Proof General}.  This book says
    1.14  very little about Proof General, which has its own documentation.  In
    1.15  order to run Isabelle, you will need a Standard ML compiler.  We
    1.16 -recommend \href{http://www.polyml.org/}{Poly/ML}, which is free and
    1.17 +recommend \hfootref{http://www.polyml.org/}{Poly/ML}, which is free and
    1.18  gives the best performance.  The other supported compiler is
    1.19 -\href{http://cm.bell-labs.com/cm/cs/what/smlnj/index.html}{Standard
    1.20 +\hfootref{http://cm.bell-labs.com/cm/cs/what/smlnj/index.html}{Standard
    1.21  ML of New Jersey}.
    1.22  
    1.23  This tutorial owes a lot to the constant discussions with and the valuable

     2.1 --- a/doc-src/pdfsetup.sty	Thu Dec 20 15:17:48 2001 +0100
     2.2 +++ b/doc-src/pdfsetup.sty	Thu Dec 20 15:20:07 2001 +0100
     2.3 @@ -1,12 +1,13 @@
     2.4  \message{pdfsetup.sty v0.1 11/7/2001}
     2.5  \@ifundefined{pdfoutput}{\message{No PDF output}%
     2.6    \usepackage{../url}%
     2.7 -  \newcommand{\href}[2]{#2\footnote{#1}}}%
     2.8 +  \newcommand{\hfootref}[2]{#2\footnote{#1}}}%
     2.9  {\message{Generating PDF output}%
    2.10    \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}%
    2.11    \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}%
    2.12                %no a4paper because overall style sets this (not for Springer!)
    2.13 -  \gdef\fnote#1{\hyperpage{#1}n}
    2.14 +  \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{#1}}%
    2.15 +  \gdef\fnote#1{\hyperpage{#1}n}%
    2.16    \gdef\bold#1{\textbf{\hyperpage{#1}}}}
    2.17  
    2.18  \urlstyle{rm}