--- a/README.html Tue Dec 16 15:38:09 2003 +0100
+++ b/README.html Tue Dec 16 23:24:17 2003 +0100
@@ -74,7 +74,7 @@
<h2>User interface</h2>
The canonical Isabelle user interface is <a
-href="http://www.proofgeneral.org">Proof General</a> by David Aspinall
+href="http://proofgeneral.inf.ed.ac.uk/">Proof General</a> by David Aspinall
and others. It is a generic (X)Emacs interface for proof assistants,
including Isabelle (both for the classic and Isar version). Proof
General is suitable for use by pacifists and Emacs militants