diff options
| -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> |