1.1 --- a/README.html	Tue Sep 26 17:01:59 2000 +0200
     1.2 +++ b/README.html	Tue Sep 26 17:02:51 2000 +0200
     1.3 @@ -80,14 +80,14 @@
     1.4  <h2>User interface</h2>
     1.5  
     1.6  The canonical Isabelle user interface is <a
     1.7 -href="http://www.dcs.ed.ac.uk/home/proofgen/">Proof General</a> by
     1.8 -David Aspinall and others.  It is a generic (X)Emacs interface for
     1.9 -proof assistants, including Isabelle (both for the classic and Isar
    1.10 -version).  Proof General is suitable for use by pacifists and Emacs
    1.11 -militants alike. Its most prominent feature is script management,
    1.12 -providing a metaphor of <em>live proof script editing</em>.  Proof
    1.13 -General has recently gained a rather large following of both beginning
    1.14 -and expert users of Isabelle.
    1.15 +href="http://www.proofgeneral.org">Proof General</a> by David Aspinall
    1.16 +and others.  It is a generic (X)Emacs interface for proof assistants,
    1.17 +including Isabelle (both for the classic and Isar version).  Proof
    1.18 +General is suitable for use by pacifists and Emacs militants
    1.19 +alike. Its most prominent feature is script management, providing a
    1.20 +metaphor of <em>live proof script editing</em>.  Proof General has
    1.21 +recently gained a rather large following of both beginning and expert
    1.22 +users of Isabelle.
    1.23  
    1.24  <p>
    1.25