News about 3.4; links to download.

3 files changed, 47 insertions, 56 deletions

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>
@@ -46,65 +46,51 @@ See <a href="#prereq">below</a> for software pre-requisites for running Proof Ge
 </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,10 +102,8 @@ 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">
     What you need to run Proof General
diff --git a/html/news.html b/html/news.html
index 1a420a7c..774c0359 100644
--- a/html/news.html
+++ b/html/news.html
@@ -1,6 +1,14 @@
 <h2>News about Proof General</h2>
 
 <ul>
+<li><b>29th August 2002</b>
+<p>
+<i>Proof General 3.4 is released.  Happy Proving!</i>
+<br>
+Go to the <a href="download">download page</a> to get it.
+<br>
+Please report any problems to <a href="mailto:support@proofgeneral.org"><tt>support@proofgeneral.org</tt></a>.
+</p>
 <li><b>1st July 2002</b>
 <p>
 Good news!  The license conditions for Proof General will shortly be
@@ -8,27 +16,9 @@ changed to the <a href="http://www.gnu.org/copyleft/gpl.html">GPL</a>.
 This relaxes the current conditions in several ways, in particular,
 allowing packaging and distribution of the code by others.
 </p>
-<li><b>19th June 2002</b>
-<p>
-We plan to release version <b>3.4</b> of Proof General 
-in August.  This update will have several significant 
-improvements
-(notably to the synchronization support for Coq), and also includes
-fixes and updates for recent versions of Emacs (notably GNU Emacs 21.x) 
-and various proof assistants.
-<br>
-<b>Please, please, please</b> do test some <a
-href="develdownload.html">development releases</a> for us in the
-meantime and <a href="feedback">report any difficulties</a>, 
-to help make the next release of Proof General as 
-robust as possible.  Thanks!
-</p>
-</li>
-
 </ul>
 <!-- da: Put this line in instead if you're not me -->
 <!-- <i>(News items entered by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a> -->
 <!--     unless noted.)</i> -->
 <i>News items by <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.</i>
-<br>
 <i>Click <a href="oldnews.html">here</a> for old news.</i>
diff --git a/html/oldnews.html b/html/oldnews.html
index 33e1510e..89d856c7 100644
--- a/html/oldnews.html
+++ b/html/oldnews.html
@@ -5,6 +5,23 @@
 <ul>
 
 
+<li><b>19th June 2002</b>
+<p>
+We plan to release version <b>3.4</b> of Proof General 
+in August.  This update will have several significant 
+improvements
+(notably to the synchronization support for Coq), and also includes
+fixes and updates for recent versions of Emacs (notably GNU Emacs 21.x) 
+and various proof assistants.
+<br>
+<b>Please, please, please</b> do test some <a
+href="develdownload.html">development releases</a> for us in the
+meantime and <a href="feedback">report any difficulties</a>, 
+to help make the next release of Proof General as 
+robust as possible.  Thanks!
+</p>
+</li>
+
 <li><b>14th December 2001</b>
 <p>
 The current <a href="develdownload.html">development release</a> takes