From 71982ce3a125dcb200e39d3975084aff77fb6ec6 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 31 Jan 2008 23:16:26 +0000
Subject: Updated.

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

(limited to 'COMPATIBILITY')

diff --git a/COMPATIBILITY b/COMPATIBILITY
index 64af7b6c..819a9299 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -10,11 +10,10 @@ on Linux:
  XEmacs 21.5 (beta28)  -- tested; PG has workarounds for several bugs
  XEmacs 21.4.XX	       -- tested
 
-and prover versions:
+and (main) prover versions:
 
- Coq 8.1
- Isabelle2005
- Isabelle2007
+ Coq 8.0, 8.1
+ Isabelle2005, Isabelle2007
 
 Maintaining compatibility across proof assistant versions, Emacs
 versions and operating systems is a big challenge!  Please visit this
-- 
cgit v1.2.3