diff -r 7badd511844d -r 5ce623228ef2 README.html
--- 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>