diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-01-30 17:49:42 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-30 17:49:42 +0000 |
commit | 31987e85352e02610ddb779fa51bbd150ba30740 (patch) | |
tree | 546936387c803f30300e6ae383af6007e9d2ad50 /COMPATIBILITY | |
parent | 75abd618fcfc46a35368493332067994954f3af1 (diff) |
Fix prover versions
Diffstat (limited to 'COMPATIBILITY')
-rw-r--r-- | COMPATIBILITY | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 105cd2eb..d0043af1 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -8,7 +8,7 @@ on recent Linux systems: 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} +and (main) prover versions: Coq 8.3, Isabelle2009-2, Isabelle2011 See below for notes about other operating systems. |