# 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 @@
User interface
The canonical Isabelle user interface is Proof General by David Aspinall
+href="http://proofgeneral.inf.ed.ac.uk/">Proof General 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