1.1 --- a/doc-src/TutorialI/preface.tex	Mon Dec 15 16:38:25 2003 +0100
     1.2 +++ b/doc-src/TutorialI/preface.tex	Mon Dec 15 17:08:41 2003 +0100
     1.3 @@ -50,7 +50,7 @@
     1.4  Isabelle's \hfootref{http://isabelle.in.tum.de/}{web site} contains links to
     1.5  the download area and to documentation and other information.  Most Isabelle
     1.6  sessions are now run from within David Aspinall's\index{Aspinall, David}
     1.7 -wonderful user interface, \hfootref{http://www.proofgeneral.org/}{Proof
     1.8 +wonderful user interface, \hfootref{http://proofgeneral.inf.ed.ac.uk/}{Proof
     1.9    General}, even together with the
    1.10  \hfootref{http://x-symbol.sourceforge.net}{X-Symbol} package for XEmacs.  This
    1.11  book says very little about Proof General, which has its own documentation.