README.html
changeset 14298 e616f4bda3a2
parent 14007 8c2b9750628f
child 14612 f0f50362cb67
     1.1 --- a/README.html	Tue Dec 16 15:38:09 2003 +0100
     1.2 +++ b/README.html	Tue Dec 16 23:24:17 2003 +0100
     1.3 @@ -74,7 +74,7 @@
     1.4  <h2>User interface</h2>
     1.5  
     1.6  The canonical Isabelle user interface is <a
     1.7 -href="http://www.proofgeneral.org">Proof General</a> by David Aspinall
     1.8 +href="http://proofgeneral.inf.ed.ac.uk/">Proof General</a> by David Aspinall
     1.9  and others.  It is a generic (X)Emacs interface for proof assistants,
    1.10  including Isabelle (both for the classic and Isar version).  Proof
    1.11  General is suitable for use by pacifists and Emacs militants