From a256d592c6e23747f327c993d947964b807e4991 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 3 Oct 2011 09:04:26 +0000 Subject: Update dates and versions --- COMPATIBILITY | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'COMPATIBILITY') diff --git a/COMPATIBILITY b/COMPATIBILITY index d0043af1..00847b5e 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -4,18 +4,19 @@ Compatibility of Proof General This version of Proof General has been tested with these Emacs versions on recent Linux systems: - Emacs 23.2 -- recommended and supported + Emacs 23.2,3 -- recommended and supported + Emacs 24 -- next version, should work 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.3, Isabelle2009-2, Isabelle2011 +and (main) prover versions: Coq 8.3, Isabelle2011[-1] See below for notes about other operating systems. Maintaining compatibility across proof assistant versions, Emacs versions and operating systems is virtually impossible. -In the major 4.0 release ** XEmacs compatibility has been dropped ** +In the major 4.0 release ** XEmacs compatibility was dropped ** Running on Mac OS X -- cgit v1.2.3