diff options
Diffstat (limited to 'COMPATIBILITY')
-rw-r--r-- | COMPATIBILITY | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 64af7b6c..819a9299 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -10,11 +10,10 @@ on Linux: XEmacs 21.5 (beta28) -- tested; PG has workarounds for several bugs XEmacs 21.4.XX -- tested -and prover versions: +and (main) prover versions: - Coq 8.1 - Isabelle2005 - Isabelle2007 + Coq 8.0, 8.1 + Isabelle2005, Isabelle2007 Maintaining compatibility across proof assistant versions, Emacs versions and operating systems is a big challenge! Please visit this |