From d7b933b0bf2ced8d6f4e46bbfa1f90c53a7dd088 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 May 2009 14:00:13 +0000
Subject: Updated

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

(limited to 'COMPATIBILITY')

diff --git a/COMPATIBILITY b/COMPATIBILITY
index ef032027..6d0fb695 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -9,8 +9,8 @@ on recent Linux systems:
 
 and (main) prover versions:
 
- Coq 8.1
- Isabelle2008
+ Coq 8.1pl3
+ Isabelle2009
 
 See below for notes about other operating systems.
 
-- 
cgit v1.2.3