From 59760a1398dfa77be57950882f73d1e7588840e3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 27 Jun 2010 23:05:57 +0000
Subject: Updated.

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

(limited to 'COMPATIBILITY')

diff --git a/COMPATIBILITY b/COMPATIBILITY
index 553952aa..9cf23039 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -7,7 +7,7 @@ on recent Linux systems:
  Emacs 23.1            -- recommended and supported
  Emacs 22.3.1	       -- previous version, may work
 
-and (main) prover versions:  Coq 8.1pl3, Isabelle2009-1
+and (main) prover versions:  Coq 8.1pl3, Isabelle2009{-1,-2}
 
 See below for notes about other operating systems.
 
@@ -15,8 +15,6 @@ Maintaining compatibility across proof assistant versions, Emacs
 versions and operating systems is virtually impossible.  In this major
 release ** XEmacs compatibility has been dropped **
 
-
-
 Running on Windows
 ------------------
 
-- 
cgit v1.2.3