From 768504deb41449808a6d73cc726390d32f3daf19 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 21 Sep 2009 13:13:59 +0000
Subject: Updates

---
 README | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'README')

diff --git a/README b/README
index c0a8f06a..5b0c1638 100644
--- a/README
+++ b/README
@@ -4,7 +4,11 @@ Proof General is a generic Emacs interface for proof assistants.
 The aim of the Proof General project is to provide a powerful, generic
 environment for using interactive proof assistants.
 
-This is version 4.0 of Proof General.  See About screen for exact version.
+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".
 
 See
     INSTALL	     for installation details.
-- 
cgit v1.2.3