From 618c11e309d106691972ea2b6f020805cab202f4 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 25 Sep 2003 09:24:06 +0000
Subject: Mention anon cvs

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

(limited to 'html')

diff --git a/html/news.html b/html/news.html
index aa385457..1fa92de5 100644
--- a/html/news.html
+++ b/html/news.html
@@ -9,9 +9,19 @@ 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
+The <a href="kit">Proof General Kit</a> page has been
 updated to mention current development efforts.
 </p>
+<p>
+Anonymous access to the Proof General CVS repository is now available!
+Details are <a href="devel">here</a>.
+</p>
+<p>
+Please <b>update your links!<b>.  The server <tt>zermelo.dcs.ed.ac.uk</tt>
+hosting Proof General for the last 5 years will be retired soon.
+Please refer to the web site using the URL
+<b><a href="http://www.proofgeneral.org>www.proofgeneral.org</a></b>.
+</p>
 
 <li><b>29th August 2002</b>
 <p>
-- 
cgit v1.2.3