--- a/Admin/page/dist-content/packages.content Thu Dec 11 14:10:27 2003 +0100
+++ b/Admin/page/dist-content/packages.content Fri Dec 12 03:41:47 2003 +0100
@@ -17,8 +17,8 @@
href="http://www.polyml.org">Poly/ML</a> as included below). A
<em>comfortable</em> Isabelle working environment demands further user
interface support, as provided by <a
-href="http://www.proofgeneral.org">Proof General</a> (please <a
-href="http://www.proofgeneral.org/register">register</a>). The Proof General
+href="http://proofgeneral.inf.ed.ac.uk/">Proof General</a> (please <a
+href="http://proofgeneral.inf.ed.ac.uk/register">register</a>). The Proof General
distribution now includes the <a
href="http://x-symbol.sourceforge.net">X-Symbol</a> package. It
should be used with a recent version of <a