From 8a4bf29f092e85fcbf8d67b6b1bb3efcd860d6c5 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 10 Dec 2007 10:56:46 +0000
Subject: Updated.

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

(limited to 'COMPATIBILITY')

diff --git a/COMPATIBILITY b/COMPATIBILITY
index 423756f2..5ba3d93d 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -1,13 +1,15 @@
-This version of Proof General has been tested with Emacs versions:
+This version of Proof General has been tested with these Emacs versions
+on Linux:
 
  Emacs 21.4.1		 -- recommended
- XEmacs 21.4.XX		 -- stable
- XEmacs 21.5 (beta27)    -- potentially troublesome 
+ XEmacs 21.4.XX		 -- stable, but not recently tested
+ XEmacs 21.5 (beta28)    -- tested, has patches for several XEmacs bugs
 
 and prover versions:
 
+ Coq 8.1
  Isabelle2005
- Isabelle CVS versions up to 04.01.2007.
+ Isabelle2007
 
 For more possibilities, please check and contribute here:
   
-- 
cgit v1.2.3