diff -r 8bb4b66cd6b5 -r 0d78784176f4 README.html
--- a/README.html	Tue Sep 26 17:01:59 2000 +0200
+++ b/README.html	Tue Sep 26 17:02:51 2000 +0200
@@ -80,14 +80,14 @@
 <h2>User interface</h2>
 
 The canonical Isabelle user interface is <a
-href="http://www.dcs.ed.ac.uk/home/proofgen/">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 alike. Its most prominent feature is script management,
-providing a metaphor of <em>live proof script editing</em>.  Proof
-General has recently gained a rather large following of both beginning
-and expert users of Isabelle.
+href="http://www.proofgeneral.org">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
+alike. Its most prominent feature is script management, providing a
+metaphor of <em>live proof script editing</em>.  Proof General has
+recently gained a rather large following of both beginning and expert
+users of Isabelle.
 
 <p>