diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-09-25 09:24:06 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-09-25 09:24:06 +0000 |
| commit | 618c11e309d106691972ea2b6f020805cab202f4 (patch) | |
| tree | 365b34fe9af1d9384031605ebab7ff4b9d9e9497 /html | |
| parent | 289644a35778aadc291ade07f131ea03707120cd (diff) | |
Mention anon cvs
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.html | 12 |
1 files changed, 11 insertions, 1 deletions
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> |