diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-03-10 22:18:46 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-03-10 22:18:46 +0000 |
commit | 0946e32d3135cac40b74e81d3dc90df04e8ae3c7 (patch) | |
tree | 9844f2820955ad5201873ccb6e78db2f81ff4fc1 /COMPATIBILITY | |
parent | 729ff51867c574f0a1464f6b9cde2bcf7165d592 (diff) |
*** empty log message ***
Diffstat (limited to 'COMPATIBILITY')
-rw-r--r-- | COMPATIBILITY | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 045799af..467dfe99 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -5,9 +5,9 @@ This version of Proof General has been tested with these Emacs versions on recent Linux systems: Emacs 23.1 -- recommended and supported - Emacs 22.3.1 -- previous version, should work well + Emacs 22.3.1 -- previous version, may work -and (main) prover versions: Coq 8.1pl3, Isabelle2009 +and (main) prover versions: Coq 8.1pl3, Isabelle2009-1 See below for notes about other operating systems. |