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>