# HG changeset patch
# User wenzelm
# Date 936608050 -7200
# Node ID 5ce623228ef25ba95384540f1430da94955891d6
# Parent  7badd511844d22b6307a28f6d4dbfb9f441d96c3
tuned;

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>