From d31b2387d328405396785da0c570458dd037009b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 15 Jan 2008 15:57:03 +0000 Subject: Updated. --- COMPATIBILITY | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'COMPATIBILITY') 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: -- cgit v1.2.3