From 557761a55cc795e8c3792e2a7f9cc26d33714041 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 26 Jan 2008 22:01:46 +0000 Subject: Updated. --- COMPATIBILITY | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) (limited to 'COMPATIBILITY') 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 + -- cgit v1.2.3