From 8a0b2a016a88b54bab33b22f927f821be43fcd6f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 19 Jul 2008 12:49:20 +0000 Subject: Updated. --- COMPATIBILITY | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'COMPATIBILITY') diff --git a/COMPATIBILITY b/COMPATIBILITY index 4125408c..302d5ef6 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -27,10 +27,10 @@ has been removed here, specifically affecting: Isabelle 2004 Earlier buggy versions of GNU Emacs 21 -******************************************************************* -*** IMPORTANT NOTE: XEmacs compatibility may be dropped soon, *** -*** switching to GNU Emacs is recommended. *** -******************************************************************* +********************************************************************* +*** IMPORTANT NOTE: XEmacs compatibility will be dropped on next *** +*** release of PG -- switching to GNU Emacs now is recommended! *** +********************************************************************* Running on Windows ------------------ -- cgit v1.2.3