Updated.

3 files changed, 17 insertions, 2 deletions

diff --git a/CHANGES b/CHANGES
index d32c6cdb..c32572b7 100644
--- a/CHANGES
+++ b/CHANGES
@@ -31,11 +31,11 @@ recompile the sources for a particular Emacs version, try:
  
 Check the settings in the Makefile for your Emacs version.
 
-*** Bundling of X-Symbol Mode (4.5 beta)
+*** Bundling of X-Symbol Mode (4.5.1-beta)
 
 !!THIS IS WORK IN PROGRESS, IT MAY WELL BREAK X-SYMBOL FOR YOU!!
 
-[ Currenly should be working in Isabelle, not other provers ]
+[ Currenly should be working in Isabelle, perhaps not other provers ]
 
 To disable use of the bundled version, either delete/move away the
 x-symbol subdirectory, or load your own local version first [put
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>
diff --git a/todo b/todo
index 3a16c405..a529e263 100644
--- a/todo
+++ b/todo
@@ -53,6 +53,9 @@ X (Low)		e.g. probably not worth spending time on
 
 ** 2. Things to do in the generic interface
 
+*** PGIP SUPPORT (minimal for Isabelle patch):
+      -- settings with categories
+
 *** [ Don't query save before retraction ?? ]
 
 *** A settings configuration for Isabelle: add backwards