diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-10-05 16:13:00 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-10-05 16:13:00 +0000 |
commit | 1a7de3cb4c4c1ad15e11f8e412605e944cfa9e30 (patch) | |
tree | 200927d88c10dcbdc720e77675a49bf452606985 | |
parent | a32f731f26a80d114355c8fece1dc8e3ce206c9c (diff) |
Fix HTML
-rw-r--r-- | html/news.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/news.html b/html/news.html index 1fa92de5..90d00427 100644 --- a/html/news.html +++ b/html/news.html @@ -17,7 +17,7 @@ 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> +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>. |