From ae3bfad012af54b9698213d9860e5f56f8df1530 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 10 Oct 2010 21:37:10 +0000
Subject: Support Emacs 23.1+ only.

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

diff --git a/CHANGES b/CHANGES
index eba64ee2..7176647a 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,7 +4,8 @@
 
 ** Install/support changes
 
-*** XEmacs is no longer supported; PG only works with GNU Emacs 22.2+
+*** XEmacs is no longer supported; PG only works with GNU Emacs 23.1+
+    Older GNU Emacs versions in 22.X series may work but are unsupported.
 
 *** Primary distribution formats changed
     The RPM and zip file formats have been removed.
@@ -16,8 +17,7 @@
 *** Font-lock based Unicode Tokens mode replaces X-Symbol
     Unicode Tokens has been significantly improved since PG 3.7.1,
     and now works purely at a "presentation" level without changing 
-    buffer contents.  For best results, Emacs 23 is recommended.
-    See Tokens menu for many useful commands.
+    buffer contents.  See Tokens menu for many useful commands.
 
 *** Document-centred mechanisms added:
     - auto raise of prover output buffers can be disabled
-- 
cgit v1.2.3