From 49c33ad595b0cdcf91e5368e25e26f6743824a73 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sun, 27 Jan 2008 14:52:23 +0000
Subject: Updated.

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

(limited to 'COMPATIBILITY')

diff --git a/COMPATIBILITY b/COMPATIBILITY
index c07a928b..64af7b6c 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -6,9 +6,9 @@ on Linux:
 
  Emacs 22.1.1	       -- recommended and supported
 
- Emacs 21.4.1          -- tested; works except X-Symbol sub/superscripts
- XEmacs 21.4.XX	       -- tested
+ Emacs 21.4.1          -- tested; poorer X-Symbol sub/superscript support
  XEmacs 21.5 (beta28)  -- tested; PG has workarounds for several bugs
+ XEmacs 21.4.XX	       -- tested
 
 and prover versions:
 
-- 
cgit v1.2.3