From 98e40c4f92aeac4d5287c5d4580db77400c8fdfe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 24 Sep 2003 23:57:57 +0000
Subject: Updated.

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

(limited to 'html')

diff --git a/html/news.html b/html/news.html
index 5ef51adc..aa385457 100644
--- a/html/news.html
+++ b/html/news.html
@@ -1,6 +1,18 @@
 <h2>News about Proof General</h2>
 
 <ul>
+<li><b>25th September 2003</b>
+<p>
+There is a new <a href="develdownload">development</a> version of
+Proof General released today.  There are some minor fixes, and an
+updated version of X-Symbol bundled.  Please test it and let me know
+how you get on.  It would be nice to release the final version 3.5 at
+last.
+</p>
+Also, the <a href="kit">Proof General Kit</a> page has been
+updated to mention current development efforts.
+</p>
+
 <li><b>29th August 2002</b>
 <p>
 <i>Proof General 3.4 is released.  Happy Proving!</i>
-- 
cgit v1.2.3