From 31987e85352e02610ddb779fa51bbd150ba30740 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sun, 30 Jan 2011 17:49:42 +0000
Subject: Fix prover versions

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

(limited to 'COMPATIBILITY')

diff --git a/COMPATIBILITY b/COMPATIBILITY
index 105cd2eb..d0043af1 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -8,7 +8,7 @@ on recent Linux systems:
  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}
+and (main) prover versions:  Coq 8.3, Isabelle2009-2, Isabelle2011
 
 See below for notes about other operating systems.
 
-- 
cgit v1.2.3