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/oldnews.html | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'html/oldnews.html')

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