From d38800608f3e540b6f200ad8602e9d7805a2b0fd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 10 Jun 2011 17:45:26 +0000
Subject: Version bump

---
 README | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/README b/README
index 049572c0..e8e942ff 100644
--- a/README
+++ b/README
@@ -5,11 +5,12 @@ The aim of the Proof General project is to provide a powerful, generic
 environment for using interactive proof assistants.
 
 This is version 4.1 of Proof General.  See About for exact version.
-It is built for Emacs 23.2.  
+It is built for Emacs 23.3.  
 
-The code *may* also work with Emacs 22.3, but you will need to
-regenerated the byte-compiled files with "make clean; make compile".
-Backward compatibility cannot be guaranteed.
+The code *may* also work with previous emacs versions, back as far as
+Emacs 22.3.  But you will need to regenerated the byte-compiled files
+with "make clean; make compile".  Backward compatibility cannot be
+guaranteed.
 
 See
     INSTALL	     for installation details.
-- 
cgit v1.2.3