From 25ffebf59b3168ef2b5a5719c8a21d81e3016432 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 Aug 2010 12:02:09 +0000
Subject: Minor tweaks to versions, etc.

---
 README | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'README')

diff --git a/README b/README
index 23ab33a3..d34663ac 100644
--- a/README
+++ b/README
@@ -6,9 +6,9 @@ environment for using interactive proof assistants.
 
 This is version 4.0 of Proof General.  See About for exact version.
 
-It is built for Emacs 23.  The code will also work with Emacs 22.3,
-but you will need to regenerated the byte-compiled files 
-with "make clean; make compile".
+It is built for Emacs 23.  The code should also work with Emacs 22.3,
+but you will need to regenerated the byte-compiled files with "make
+clean; make compile".
 
 See
     INSTALL	     for installation details.
-- 
cgit v1.2.3