diff options
Diffstat (limited to 'COMPATIBILITY')
| -rw-r--r-- | COMPATIBILITY | 7 |
1 files changed, 4 insertions, 3 deletions
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 |