new hfootref macro for Web links
Thu, 20 Dec 2001 15:20:07 +0100
changeset 12561 8cf9d9a3a327
parent 12560 5820841f21fd
child 12562 323ce5a89695
new hfootref macro for Web links
--- a/doc-src/TutorialI/preface.tex	Thu Dec 20 15:17:48 2001 +0100
+++ b/doc-src/TutorialI/preface.tex	Thu Dec 20 15:20:07 2001 +0100
@@ -48,16 +48,16 @@
 derived almost entirely from output generated in this way.
-\href{}{web site}
+\hfootref{}{web site}
 contains links to the download area and to documentation and other
 information.  Most Isabelle sessions are now run from within David
 Aspinall's wonderful user interface,
-\href{}{Proof General}.  This book says
+\hfootref{}{Proof General}.  This book says
 very little about Proof General, which has its own documentation.  In
 order to run Isabelle, you will need a Standard ML compiler.  We
-recommend \href{}{Poly/ML}, which is free and
+recommend \hfootref{}{Poly/ML}, which is free and
 gives the best performance.  The other supported compiler is
 ML of New Jersey}.
 This tutorial owes a lot to the constant discussions with and the valuable
--- a/doc-src/pdfsetup.sty	Thu Dec 20 15:17:48 2001 +0100
+++ b/doc-src/pdfsetup.sty	Thu Dec 20 15:20:07 2001 +0100
@@ -1,12 +1,13 @@
 \message{pdfsetup.sty v0.1 11/7/2001}
 \@ifundefined{pdfoutput}{\message{No PDF output}%
-  \newcommand{\href}[2]{#2\footnote{#1}}}%
+  \newcommand{\hfootref}[2]{#2\footnote{#1}}}%
 {\message{Generating PDF output}%
               %no a4paper because overall style sets this (not for Springer!)
-  \gdef\fnote#1{\hyperpage{#1}n}
+  \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{#1}}%
+  \gdef\fnote#1{\hyperpage{#1}n}%