--- a/doc-src/TutorialI/preface.tex Mon May 13 09:02:13 2002 +0200
+++ b/doc-src/TutorialI/preface.tex Mon May 13 10:40:59 2002 +0200
@@ -52,11 +52,11 @@
sessions are now run from within David Aspinall's\index{Aspinall, David}
wonderful user interface, \hfootref{http://www.proofgeneral.org/}{Proof
General}, even together with the
-\hfootref{http://www.fmi.uni-passau.de/~wedler/x-symbol/}{X-Symbol} package
-for XEmacs. 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 \hfootref{http://www.polyml.org/}{Poly/ML}, which is
-free and gives the best performance. The other fully supported compiler is
+\hfootref{http://x-symbol.sourceforge.net}{X-Symbol} package for XEmacs. 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
+\hfootref{http://www.polyml.org/}{Poly/ML}, which is free and gives the best
+performance. The other fully supported compiler is
\hfootref{http://cm.bell-labs.com/cm/cs/what/smlnj/index.html}{Standard ML of
New Jersey}.