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 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: |