From 6f23f45de95d60f07a0699f94a4abe6944c0f0b8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 17:50:25 +0000
Subject: Be politically correct about FSF GNU Emacs; update to mention version
 21.

---
 html/develdownload.php | 6 +++---
 html/main.html         | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'html')

diff --git a/html/develdownload.php b/html/develdownload.php
index 30ff5749..f2df6f11 100644
--- a/html/develdownload.php
+++ b/html/develdownload.php
@@ -47,9 +47,9 @@ or
 
 <p>
 This version has been tested with XEmacs version 21.4 and
-(minimally) with FSF Emacs 20.7.1. 
-We recommend the use of XEmacs; use under FSF Emacs  
-can no longer be properly supported.
+(minimally) with GNU Emacs 21.1.
+We recommend the use of XEmacs; use under GNU Emacs  
+is not well supported.
 </p>
 <p>
 Check the 
diff --git a/html/main.html b/html/main.html
index 72c3f1a0..88ed8a73 100644
--- a/html/main.html
+++ b/html/main.html
@@ -8,7 +8,7 @@ in the <a href="http://www.ed.ac.uk/">University of Edinburgh</a>.
 Proof General 
 works best under 
 <a href="http://www.xemacs.org/">XEmacs</a>, but can also be used with 
-<a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>.
+<a href="http://www.gnu.org/software/emacs/">GNU Emacs</a>.
 You need a recent version in either case.
 </p>
 <p>
-- 
cgit v1.2.3