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