# HG changeset patch
# User kleing
# Date 1071613457 -3600
# Node ID e616f4bda3a2f3e40af40e152d78e429dccfc454
# Parent  7c84fd26add1c6cb26294e2ea24de69d7fb816df
fixed PG link

diff -r 7c84fd26add1 -r e616f4bda3a2 README.html
--- 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