From ee4d78e3f74adaef772699c95454621518416712 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 May 2001 11:12:47 +0000
Subject: New news item

---
 html/news.html | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'html')

diff --git a/html/news.html b/html/news.html
index 49c9e677..931fb777 100644
--- a/html/news.html
+++ b/html/news.html
@@ -2,6 +2,19 @@
 
 
 <ul>
+<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).
+<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
+
 <li><b>2nd October 2000</b>
 <p>
 Proof General 3.2 is released today.  Happy proving!
-- 
cgit v1.2.3