From ad0d67b52c1072b7d30d12e6fbda698f846660b2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 00:24:36 +0000
Subject: News about 3.4; links to download.

---
 html/download.html | 60 ++++++++++++++++++++----------------------------------
 1 file changed, 22 insertions(+), 38 deletions(-)

(limited to 'html/download.html')

diff --git a/html/download.html b/html/download.html
index 8c1245b7..24c690e5 100644
--- a/html/download.html
+++ b/html/download.html
@@ -26,7 +26,7 @@ You can join the
 Proof General
 <a href="mailinglist">mailing list</a>
 for announcements of new versions.
-Developers and beta-testers may like to download
+Developers and early-adopters may like to download
 a <a href="develdownload.html">development release</a>
 of Proof General.
 If you use an old version of a proof assistant and/or an
@@ -34,7 +34,7 @@ old Emacs version, you may need to download one of the
 <a href="oldrel.php">previous releases</a>.
 </p>
 <h2><a name="stable">
-    Proof General Version 3.4, to be released August 2002.
+    Proof General Version 3.4, released 29th August 2002.
     </a>
 </h2>
 <p>
@@ -45,66 +45,52 @@ the
 See <a href="#prereq">below</a> for software pre-requisites for running Proof General.
 </p>
 
-<p>
-The next stable version of Proof General will be 3.4, to be released
-in August.  Until then, please try a 
-<a href="develdownload.html">development release</a> and
-<a href="feedback">report any difficulties</a>, 
-to help make the next release of Proof General as 
-robust as possible.  Thanks!
-
-<!--
 <p>
 Proof General is available as an archive and an RPM package.
 </p>
 <table width="80%" cellspacing=8>
 <tr>
 <td width=150>gzip'ed tar file</td>
-<td><?php download_link("ProofGeneral-3.3.tar.gz") ?></td>
+<td><?php download_link("ProofGeneral-3.4.tar.gz") ?></td>
 </tr>
 <tr>
 <td>zip file</td>
-<td><?php download_link("ProofGeneral-3.3.zip") ?></td>
+<td><?php download_link("ProofGeneral-3.4.zip") ?></td>
 </tr>
 <tr>
 <td>RPM package </td>
-<td><?php download_link("ProofGeneral-3.3-1.noarch.rpm") ?></td>
+<td><?php download_link("ProofGeneral-3.4-1.noarch.rpm") ?>
+<br>NB: to buld yourself use tarball and <tt>rpm -ta</tt>.</td>
 </tr>
 <tr>
 <td>individual files</td>
-<td><a href="ProofGeneral-3.3">browse individual files</a>
+<td><a href="ProofGeneral-3.4">browse individual files</a>
 </tr>
 </table>
 <p>
-Both the tarball and the RPM package include the generic elisp
-code, 
-code for the supported provers, installation instructions
-and documentation in Info and HTML formats.
+The archives and RPM include almost everything: the generic 
+code, specific code for the supported provers, installation 
+instructions and documentation in Info and HTML formats.
 Documentation is available in other formats
 here <a href="doc">here</a>.  
-If you want to format the documentation yourself,
-you may like to download the
-<?php download_link("ProofGeneralPortrait.eps.gz", 
-"front page image") ?>.
-Note that we don't ship an SRPM now, since you can build the RPM directly 
-from the source tarball using <tt>rpm -ta</tt>.
+<!-- If you want to format the documentation yourself, 
+ you may like to download the 
+ <?php download_link("ProofGeneralPortrait.eps.gz",  
+ "front page image") ?>. -->
 </p>
-<p>
--->
 
-<!--
+<p>
 This version of Proof General has been tested
-with XEmacs 21.4 and (briefly with) GNU Emacs 20.7.
-It supports earlier versions of both Emacsen, but
-we recommend using these versions.
-This version of Proof General does <b>not</b> support 
-GNU Emacs 21.x, please try out a <a href="develdownload.html">development release</a>
-instead.
+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>
 <p>
-Check the <?php fileshow("ProofGeneral-3.3/CHANGES","CHANGES"); ?> file
-for a summary of changes since version 3.2.
+Check the <?php fileshow("ProofGeneral-3.4/CHANGES","CHANGES"); ?> file
+for a summary of changes since version 3.3.
 </p>
+
 <p>
 Check the latest <?php fileshow("ProofGeneral/BUGS","BUGS"); ?> file
 (also 
@@ -116,9 +102,7 @@ before reporting problems.  If you find a problem not already mentioned,
 please 
 <?php hlink("feedback.html","send us a note","Feedback form")?>.
 </p>
--->
 
-<br>
 <br>
 
 <h2><a name="prereq">
-- 
cgit v1.2.3