# HG changeset patch
# User wenzelm
# Date 1021279259 -7200
# Node ID f4ed10eaaff89f0a573d8b3c10454a61bcd66687
# Parent  6d97dbb189a96366d867f4843ac4997452f0660c
updated X-Symbol URL;

diff -r 6d97dbb189a9 -r f4ed10eaaff8 Admin/page/dist-content/packages.content
--- a/Admin/page/dist-content/packages.content	Mon May 13 09:02:13 2002 +0200
+++ b/Admin/page/dist-content/packages.content	Mon May 13 10:40:59 2002 +0200
@@ -20,8 +20,8 @@
 href="http://www.proofgeneral.org">Proof General</a> (please <a
 href="http://www.proofgeneral.org/register">register</a>) together
 with the (optional) <a
-href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">X-Symbol</a>
-package.  Both of these should be used with a recent version of <a
+href="http://x-symbol.sourceforge.net">X-Symbol</a> package.  Both of
+these should be used with a recent version of <a
 href="http://www.xemacs.org">XEmacs-21</a> (preferably with MULE).
 
 <p>
diff -r 6d97dbb189a9 -r f4ed10eaaff8 README.html
--- a/README.html	Mon May 13 09:02:13 2002 +0200
+++ b/README.html	Mon May 13 10:40:59 2002 +0200
@@ -88,7 +88,7 @@
 <p>
 
 Proof General may be used together with the Emacs
-<a href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">
+<a href="http://x-symbol.sourceforge.net">
 X-Symbol package</a>, which provides a nice way to get proper
 mathematical symbols displayed on screen.
 
diff -r 6d97dbb189a9 -r f4ed10eaaff8 doc-src/TutorialI/preface.tex
--- 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}.
 
diff -r 6d97dbb189a9 -r f4ed10eaaff8 doc-src/manual.bib
--- a/doc-src/manual.bib	Mon May 13 09:02:13 2002 +0200
+++ b/doc-src/manual.bib	Mon May 13 10:40:59 2002 +0200
@@ -1134,7 +1134,7 @@
 @Misc{x-symbol,
   author =	 {Christoph Wedler},
   title =	 {Emacs package ``{X-Symbol}''},
-  note =	 {\url{http://www.fmi.uni-passau.de/~wedler/x-symbol/}}
+  note =	 {\url{http://x-symbol.sourceforge.net}}
 }
 
 @manual{isabelle-sys,