--- a/README.html Mon Sep 06 10:52:26 1999 +0200
+++ b/README.html Mon Sep 06 10:54:10 1999 +0200
@@ -100,11 +100,11 @@
<p>
<a href="http://www.dcs.ed.ac.uk/home/proofgen/">Proof General</a> is
-a generic Emacs interface for proof assistants, including Isabelle (as
-of version 2.0). Proof General is suitable for use by pacifists and
-Emacs militants alike. Its most prominent feature is script
-management, providing a metaphor of <em>live proof script
-editing</em>.
+a generic 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 alike. Its most prominent
+feature is script management, providing a metaphor of <em>live proof
+script editing</em>.
<h2>Other sources of information</h2>