diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 23:16:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 23:16:26 +0000 |
| commit | 71982ce3a125dcb200e39d3975084aff77fb6ec6 (patch) | |
| tree | 0e598f1e959031e81b415e39ba6fa6935ad97b2c /COMPATIBILITY | |
| parent | 96256758d268277b2501fa3ad7258e87708977da (diff) | |
Updated.
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 |