diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-10-03 09:04:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-10-03 09:04:26 +0000 |
| commit | a256d592c6e23747f327c993d947964b807e4991 (patch) | |
| tree | 40f1d13ea719a2ab20ab6b706f2b85ebc64c5b1e /COMPATIBILITY | |
| parent | 1be73161636884185c01b470c24251cf9a37962e (diff) | |
Update dates and versions
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 |