diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-06-27 23:05:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-06-27 23:05:57 +0000 |
| commit | 59760a1398dfa77be57950882f73d1e7588840e3 (patch) | |
| tree | c29d3eb930571998e32b14abfc66eafee262534d /COMPATIBILITY | |
| parent | ffcd52d2966624797c14a69114911be54e216521 (diff) | |
Updated.
Diffstat (limited to 'COMPATIBILITY')
| -rw-r--r-- | COMPATIBILITY | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 553952aa..9cf23039 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -7,7 +7,7 @@ on recent Linux systems: Emacs 23.1 -- recommended and supported Emacs 22.3.1 -- previous version, may work -and (main) prover versions: Coq 8.1pl3, Isabelle2009-1 +and (main) prover versions: Coq 8.1pl3, Isabelle2009{-1,-2} See below for notes about other operating systems. @@ -15,8 +15,6 @@ Maintaining compatibility across proof assistant versions, Emacs versions and operating systems is virtually impossible. In this major release ** XEmacs compatibility has been dropped ** - - Running on Windows ------------------ |