From 6d8b7b48de4ca4b617d8fc5605c8d155585b5919 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 4 Sep 2009 16:36:52 +0000
Subject: Version

---
 doc/ProofGeneral.texi | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 7f3e0d9f..713dfdf1 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1726,10 +1726,11 @@ use a fresh Emacs.)
 
 This chapter describes what you can do from inside the goals buffer,
 providing support for these features exists for your proof assistant.
-As of Proof General 3.0, it only exists for LEGO.  If you would like to
-see subterm activation support for Proof General in another proof
-assistant, please petition the developers of that proof assistant to
-provide it!
+
+As of Proof General 4.0, this support only exists for LEGO.  
+If you would like to see subterm activation support for Proof General
+in another proof assistant, please petition the developers of that
+proof assistant to provide it!
 
 @menu
 * Goals buffer commands::
-- 
cgit v1.2.3