diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-04-06 07:26:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-04-06 07:26:19 +0000 |
| commit | 238b1f936024228b50049db89aa1bda94b082c6d (patch) | |
| tree | 621400e914b6b071bd906bf190153f7338a7d8d4 /COMPATIBILITY | |
| parent | 6547eb96bf42414daecb28ad1dc65ad5cf66044e (diff) | |
Drop support for Emacs 23.1 and earlier
Diffstat (limited to 'COMPATIBILITY')
| -rw-r--r-- | COMPATIBILITY | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 00847b5e..6af37517 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -4,10 +4,10 @@ Compatibility of Proof General This version of Proof General has been tested with these Emacs versions on recent Linux systems: - 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. + Emacs 23.4 -- recommended and supported + Emacs 23.3,23.2 -- previous versions, should work + Emacs 24 (development) -- next version, should work + Emacs 23.1, earlier -- obsolete versions, do NOT work and (main) prover versions: Coq 8.3, Isabelle2011[-1] |