News item for PG 3.4

1 files changed, 11 insertions, 13 deletions

diff --git a/html/news.html b/html/news.html
index e7f80cb6..a4c9d22a 100644
--- a/html/news.html
+++ b/html/news.html
@@ -1,23 +1,21 @@
 <h2>News about Proof General</h2>
 
 <ul>
-<li><b>11th December 2001</b>
+<li><b>19th June 2002</b>
 <p>
-The current <a href="develdownload.html">development release</a> takes
-advantage of the new fancy features available in GNU Emacs 21, to add
-toolbar support and other features there.  As usual, maintaining the
-code to work with both Emacs versions is quite troublesome, so bug
-reports and patches from users are very welcome.
+We plan to release version <b>3.4</b> of Proof General in the
+next few weeks.  This update will have several significant improvements
+(notably to the synchronization support for Coq), and also includes
+fixes and updates for recent versions of (X)Emacs and various proof assistants.
+<br>
+<b>Please, please, please</b> do test the <a
+href="develdownload.html">development release</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>10th September 2001</b>
-<p>
-<a href="download">Proof General 3.3</a> is released, with
-<?php fileshow("ProofGeneral-3.3/CHANGES","new features"); ?> to
-increase your proof script editing efficiency.  Happy proving!
-</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> -->