News about 3.4; links to download.

1 files changed, 8 insertions, 18 deletions

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>