diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-12 11:48:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-12 11:48:04 +0000 |
| commit | 78d703cd3f496c6c0ab672c4458f386b46846b2c (patch) | |
| tree | 9f83c9efccd6888fb13ea85cc8fb56291ca03a04 /COMPATIBILITY | |
| parent | b0788abb74db6be63625b480106007067fd93587 (diff) | |
Documentation.
Diffstat (limited to 'COMPATIBILITY')
| -rw-r--r-- | COMPATIBILITY | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 5ba3d93d..c590d705 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -1,7 +1,7 @@ This version of Proof General has been tested with these Emacs versions on Linux: - Emacs 21.4.1 -- recommended + Emacs 22.1.1 -- recommended XEmacs 21.4.XX -- stable, but not recently tested XEmacs 21.5 (beta28) -- tested, has patches for several XEmacs bugs @@ -14,3 +14,12 @@ and prover versions: For more possibilities, please check and contribute here: http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsVer37Final + +----- + +Backward compatibility makes the code into a bad mess. Some compatibility +has been removed here, specifically affecting: + + Isabelle 2004 + + Earlier buggy versions of Emacs 21 (21.4.1 should work) |