Announce 3.3

2 files changed, 34 insertions, 30 deletions

diff --git a/html/news.html b/html/news.html
index 5d0c1d28..1f593e34 100644
--- a/html/news.html
+++ b/html/news.html
@@ -1,36 +1,13 @@
 <h2>News about Proof General</h2>
 
-
 <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>
+<li><b>9th September 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!
+<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>
 </ul>
-<p>
 <!-- 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> -->
 <!--     unless noted.)</i> -->
@@ -38,6 +15,3 @@ Proof General 3.2 is released today.  Happy proving!
 <br>
 <i>Click <a href="oldnews.html">here</a> for old news.</i>
 </p>
-
-
-
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.