From 78d703cd3f496c6c0ab672c4458f386b46846b2c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 12 Dec 2007 11:48:04 +0000 Subject: Documentation. --- COMPATIBILITY | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'COMPATIBILITY') diff --git a/COMPATIBILITY b/COMPATIBILITY index 5ba3d93d..c590d705 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -1,7 +1,7 @@ This version of Proof General has been tested with these Emacs versions on Linux: - Emacs 21.4.1 -- recommended + 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 @@ -14,3 +14,12 @@ and prover versions: For more possibilities, please check and contribute here: http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsVer37Final + +----- + +Backward compatibility makes the code into a bad mess. Some compatibility +has been removed here, specifically affecting: + + Isabelle 2004 + + Earlier buggy versions of Emacs 21 (21.4.1 should work) -- cgit v1.2.3