diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-01-30 17:48:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-30 17:48:48 +0000 |
| commit | 75abd618fcfc46a35368493332067994954f3af1 (patch) | |
| tree | 0e316b234ffdf47899da0ebd332dcbf3d28d47e0 /COMPATIBILITY | |
| parent | 2735c59acbebd31f9a23a43cbdc0ab0390e59146 (diff) | |
Deprecate Emacs 22.X
Diffstat (limited to 'COMPATIBILITY')
| -rw-r--r-- | COMPATIBILITY | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 832981d3..105cd2eb 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -5,7 +5,8 @@ This version of Proof General has been tested with these Emacs versions on recent Linux systems: Emacs 23.2 -- recommended and supported - Emacs 23.1, 22.3.1 -- previous versions, may work, *unsupported* + 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.1pl3, Isabelle2009{-1,-2} |