diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 15:57:03 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 15:57:03 +0000 |
commit | d31b2387d328405396785da0c570458dd037009b (patch) | |
tree | 9453e9be4c8237a36317a31376dcf0065bfd6da8 /COMPATIBILITY | |
parent | 2f7d318e22ab72e323c5ece22cec15aa93ef21fc (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 83ab1e99..79cf6dd7 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -4,9 +4,9 @@ Compatibility of Proof General This version of Proof General has been tested with these Emacs versions on Linux: - 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 + Emacs 22.1.1 -- recommended + XEmacs 21.4.XX -- stable, but not recently tested + XEmacs 21.5 (beta28) -- tested, PG has workarounds for several bugs and prover versions: @@ -20,7 +20,6 @@ wiki page to check on others experience and report your own: http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsCompatibility - Backward compatibility and version-specific Emacs patches makes the code into a bad mess. Some compatibility has been removed here, specifically affecting: |