From 5fb8dbfb42c86b358eb1b9655638c5cfce6d1827 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 08:51:01 +0000
Subject: Updated.

---
 html/download.html | 23 +++++++++++++----------
 1 file changed, 13 insertions(+), 10 deletions(-)

(limited to 'html')

diff --git a/html/download.html b/html/download.html
index 24c690e5..340a6577 100644
--- a/html/download.html
+++ b/html/download.html
@@ -79,16 +79,19 @@ here <a href="doc">here</a>.
  "front page image") ?>. -->
 </p>
 
-<p>
-This version of Proof General has been tested
-with XEmacs 21.4 and GNU Emacs 21.2.
-It should work with <i>some</i> earlier versions of XEmacs, but
-we recommend using these Emacs versions for most
-reliable results.
+<p> This version of Proof General has been tested with XEmacs 21.4 and
+GNU Emacs 21.2.  It should work with <i>some</i> earlier versions of
+XEmacs, but we recommend using of these Emacs versions for most
+reliable results.  Support on GNU Emacs is catching up, but XEmacs is
+still the better tested and more fully-featured environment.
+See below for links.
 </p>
 <p>
-Check the <?php fileshow("ProofGeneral-3.4/CHANGES","CHANGES"); ?> file
-for a summary of changes since version 3.3.
+See the <?php
+fileshow("ProofGeneral-3.4/etc/announce","announcement"); ?> for more
+details, or check the <?php
+fileshow("ProofGeneral-3.4/CHANGES","CHANGES"); ?> file for a summary
+of changes since version 3.3.
 </p>
 
 <p>
@@ -114,13 +117,13 @@ To run Proof General, you <strong>must</strong> have:
 </p>
 <ul>
 <li>
-Version 21.1 or later 
+Version 21.1 or 21.4 
 of <a href="http://www.xemacs.org">XEmacs</a>
 (this UK 
 <a href="http://sunsite.doc.ic.ac.uk/Mirrors/ftp.xemacs.org/pub/xemacs/">
 ftp mirror</a> may help).
 <br>
-<b>or</b> version 21.1 of 
+<b>or</b> version 21.2 of 
 <a href="http://www.gnu.org/software/emacs/">GNU Emacs</a>.
 <br>
 Both Emacsen are available for a variety of platforms, including
-- 
cgit v1.2.3