From 9a9a0cc1a62c2e57e145ce7d19a8858dc0a1b3ef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 14 Jul 2002 12:23:04 +0000
Subject: Rewrite history

---
 html/news.html | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/news.html b/html/news.html
index cbc1ecaf..185a8131 100644
--- a/html/news.html
+++ b/html/news.html
@@ -11,9 +11,11 @@ allowing packaging and distribution of the code by others.
 <li><b>19th June 2002</b>
 <p>
 We plan to release version <b>3.4</b> of Proof General 
-next month.  This update will have several significant improvements
+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 (X)Emacs and various proof assistants.
+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 the <a
 href="develdownload.html">development release</a> for us in the
-- 
cgit v1.2.3