From 97893990ffcfbbf6649d971e5cdbb56102804fc4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 18 Jun 2002 22:14:17 +0000
Subject: News item for PG 3.4

---
 html/news.html | 24 +++++++++++-------------
 1 file changed, 11 insertions(+), 13 deletions(-)

(limited to 'html/news.html')

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> -->
-- 
cgit v1.2.3