diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-10 10:56:46 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-10 10:56:46 +0000 |
| commit | 8a4bf29f092e85fcbf8d67b6b1bb3efcd860d6c5 (patch) | |
| tree | b064b60e0e78a758772fe6f5f3c3e502d44a3c11 /COMPATIBILITY | |
| parent | 033ce640d6e522859ba29608f624b1e72223d76d (diff) | |
Updated.
Diffstat (limited to 'COMPATIBILITY')
| -rw-r--r-- | COMPATIBILITY | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 423756f2..5ba3d93d 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -1,13 +1,15 @@ -This version of Proof General has been tested with Emacs versions: +This version of Proof General has been tested with these Emacs versions +on Linux: Emacs 21.4.1 -- recommended - XEmacs 21.4.XX -- stable - XEmacs 21.5 (beta27) -- potentially troublesome + XEmacs 21.4.XX -- stable, but not recently tested + XEmacs 21.5 (beta28) -- tested, has patches for several XEmacs bugs and prover versions: + Coq 8.1 Isabelle2005 - Isabelle CVS versions up to 04.01.2007. + Isabelle2007 For more possibilities, please check and contribute here: |