diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-12-10 16:01:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-12-10 16:01:43 +0000 |
| commit | 2cae8cd68ed67b7fa9496892bfdf567c53dd665a (patch) | |
| tree | 5344d2fbb112e7cd534dc593b45dad9c5839fbf0 /COMPATIBILITY | |
| parent | d1710ebd4e0d8152b9a8df70fbc1d7f17c38609f (diff) | |
Updated compatibility
Diffstat (limited to 'COMPATIBILITY')
| -rw-r--r-- | COMPATIBILITY | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 1443b3cb..832981d3 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -5,15 +5,16 @@ This version of Proof General has been tested with these Emacs versions on recent Linux systems: Emacs 23.2 -- recommended and supported - Emacs 22.3.1 -- previous version, may work, *unsupported* + Emacs 23.1, 22.3.1 -- previous versions, may work, *unsupported* and (main) prover versions: Coq 8.1pl3, Isabelle2009{-1,-2} See below for notes about other operating systems. Maintaining compatibility across proof assistant versions, Emacs -versions and operating systems is virtually impossible. In this major -release ** XEmacs compatibility has been dropped ** +versions and operating systems is virtually impossible. + +In the major 4.0 release ** XEmacs compatibility has been dropped ** Running on Mac OS X |