diff options
-rw-r--r-- | COMPATIBILITY | 17 | ||||
-rw-r--r-- | generic/pg-pgip.el | 1 |
2 files changed, 10 insertions, 8 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 79cf6dd7..c07a928b 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -4,9 +4,11 @@ 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, PG has workarounds for several bugs + Emacs 22.1.1 -- recommended and supported + + Emacs 21.4.1 -- tested; works except X-Symbol sub/superscripts + XEmacs 21.4.XX -- tested + XEmacs 21.5 (beta28) -- tested; PG has workarounds for several bugs and prover versions: @@ -20,10 +22,11 @@ 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: +Unfortunately it's too difficult to maintain backward compatibility. +Some old version compatibility has been removed here, specifically +affecting: Coq 7 Isabelle 2004 - Earlier buggy versions of Emacs 21 (21.4.1 should work) + Earlier buggy versions of GNU Emacs 21 + diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el index 9c8865da..282aaef8 100644 --- a/generic/pg-pgip.el +++ b/generic/pg-pgip.el @@ -29,7 +29,6 @@ (require 'cl) ; incf (require 'pg-xml) -(require 'pg-pgip-old) ;; Handle some PGIP 1.X format messages (require 'proof-config) ;; config variables ;;; Code: |