From 0946e32d3135cac40b74e81d3dc90df04e8ae3c7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 10 Mar 2010 22:18:46 +0000
Subject: *** empty log message ***

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

diff --git a/COMPATIBILITY b/COMPATIBILITY
index 045799af..467dfe99 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -5,9 +5,9 @@ This version of Proof General has been tested with these Emacs versions
 on recent Linux systems:
 
  Emacs 23.1            -- recommended and supported
- Emacs 22.3.1	       -- previous version, should work well
+ Emacs 22.3.1	       -- previous version, may work
 
-and (main) prover versions:  Coq 8.1pl3, Isabelle2009
+and (main) prover versions:  Coq 8.1pl3, Isabelle2009-1
 
 See below for notes about other operating systems.
 
-- 
cgit v1.2.3