diff options
-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} |