From 55657b3bdafb19c88aa36d55cf3ca219e2cfc46d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Aug 2001 19:10:03 +0000
Subject: Added news

---
 html/news.html | 20 +++++++++++++++-----
 1 file changed, 15 insertions(+), 5 deletions(-)

(limited to 'html')

diff --git a/html/news.html b/html/news.html
index 931fb777..5d0c1d28 100644
--- a/html/news.html
+++ b/html/news.html
@@ -2,6 +2,20 @@
 
 
 <ul>
+<li><b>1st August 2001</b>
+<p>
+The past few months have seen a few more improvements and
+bug fixes to Proof General: many thanks to those who have
+sent us <a href="feedback.html">useful feedback</a>.
+It's time that we made a proper release, so please try
+out the <a href="develdownload.html">development release</a>
+and help us iron out as many more problems as we can.
+<br>
+Emacs Lisp and the Emacsen libraries has to be one of the
+worst moving target platforms to develop an application on,
+so please help us! Once things are looking good, we'll 
+release PG 3.3.
+</p>
 <li><b>8th May 2001</b>
 <p>
 Proof General has had a few quiet improvements since October, which
@@ -9,11 +23,7 @@ appear in the current
 <a href="develdownload.html">development release</a>.
 This version also has some compatibility fixes
 for the recent releases of Emacs (20.7) and XEmacs (21.4).
-<br>
-Emacs Lisp and the Emacsen libraries has to be one of the
-worst moving target platforms to develop an application on.
-Please test out this version let us know of any problems.
-Once things are looking good, we'll release PG 3.3
+</p>
 
 <li><b>2nd October 2000</b>
 <p>
-- 
cgit v1.2.3