diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-12-11 16:57:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-12-11 16:57:50 +0000 |
| commit | 598d4d4dd222932bfe38d115ef46f01b483f091f (patch) | |
| tree | 04471ca5834d8805eb8c375a46e5498f5d823f49 | |
| parent | 318d45596d7a57b90dbe685a3e1af3ec12a91469 (diff) | |
Updated.
| -rw-r--r-- | html/news.html | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/html/news.html b/html/news.html index d9980999..3caf3408 100644 --- a/html/news.html +++ b/html/news.html @@ -5,11 +5,16 @@ <p> Please <b>update your links!</b>. The server <tt>zermelo.dcs.ed.ac.uk</tt> hosting Proof General for the last 5 years has now been retired. -Moroever, the Proof General .org domain has been poached from us. +Moroever, the Proof General .org domain has been poached from us. +</p> +<p> Please refer to the web site using the URL <b><a href="http://proofgeneral.inf.ed.ac.uk">proofgeneral.inf.ed.ac.uk</a></b> and do not send any email to the old .org addresses (contact -David Aspinall directly). +David Aspinall directly). Also, beware that the old addresses are built +into the help function of Proof General and the bug reporting commands. +Please download the latest pre-release which has offending addresses +removed. </p> <li><b>25th September 2003</b> |