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.