From 75abd618fcfc46a35368493332067994954f3af1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 30 Jan 2011 17:48:48 +0000
Subject: Deprecate Emacs 22.X

---
 COMPATIBILITY | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/COMPATIBILITY b/COMPATIBILITY
index 832981d3..105cd2eb 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -5,7 +5,8 @@ This version of Proof General has been tested with these Emacs versions
 on recent Linux systems:
 
  Emacs 23.2            -- recommended and supported
- Emacs 23.1, 22.3.1    -- previous versions, may work, *unsupported*
+ Emacs 23.1            -- previous version, should work
+ Emacs 22.X            -- not supported, hack proof-utils.el to try out.
 
 and (main) prover versions:  Coq 8.1pl3, Isabelle2009{-1,-2}
 
-- 
cgit v1.2.3