Announce 3.3

1 files changed, 30 insertions, 0 deletions

diff --git a/html/oldnews.html b/html/oldnews.html
index 9d17d8c3..6b3d509d 100644
--- a/html/oldnews.html
+++ b/html/oldnews.html
@@ -3,6 +3,36 @@
   small_header("Proof General Old News"); 
   ?>
 <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
+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).
+</p>
+
+<li><b>2nd October 2000</b>
+<p>
+Proof General 3.2 is released today.  Happy proving!
+</p>
+
 <li><b>25th Sep 2000</b>
 <p>
 Final week of testing for Proof General 3.2.