From 0cbc5c985bae33f08c4c1659aa694da4f7f8fb9e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Mar 2002 16:29:59 +0000
Subject: No longer recommend XEmacs exclusively.

---
 html/develdownload.php | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'html')

diff --git a/html/develdownload.php b/html/develdownload.php
index 85e9db69..15bf4ba8 100644
--- a/html/develdownload.php
+++ b/html/develdownload.php
@@ -47,9 +47,12 @@ or
 
 <p>
 This version has been tested with XEmacs version 21.4 and
-(minimally) with GNU Emacs 21.1.
-We recommend the use of XEmacs; use under GNU Emacs  
-is not well supported.
+with GNU Emacs 21.1.1.  XEmacs support is better tested.  
+Older releases of Emacs <i>may</i> work, but we recommend the use of 
+these or newer versions because backwards compatibility across 
+different Emacs versions is too difficult to support.  If you cannot
+upgrade your Emacs, consider using an 
+<a href="oldrel.php">older release</a> of Proof General.
 </p>
 <p>
 Check the 
-- 
cgit v1.2.3