From 238b1f936024228b50049db89aa1bda94b082c6d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 6 Apr 2012 07:26:19 +0000
Subject: Drop support for Emacs 23.1 and earlier

---
 COMPATIBILITY | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'COMPATIBILITY')

diff --git a/COMPATIBILITY b/COMPATIBILITY
index 00847b5e..6af37517 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -4,10 +4,10 @@ Compatibility of Proof General
 This version of Proof General has been tested with these Emacs versions
 on recent Linux systems:
 
- Emacs 23.2,3          -- recommended and supported
- Emacs 24	       -- next version, should work
- Emacs 23.1            -- previous version, should work
- Emacs 22.X            -- not supported, hack proof-utils.el to try out.
+ Emacs 23.4             -- recommended and supported
+ Emacs 23.3,23.2        -- previous versions, should work
+ Emacs 24 (development) -- next version, should work
+ Emacs 23.1, earlier    -- obsolete versions, do NOT work
 
 and (main) prover versions:  Coq 8.3, Isabelle2011[-1]
 
-- 
cgit v1.2.3