# 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