--- 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>