From 598d4d4dd222932bfe38d115ef46f01b483f091f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Dec 2003 16:57:50 +0000
Subject: Updated.

---
 html/news.html | 9 +++++++--
 1 file 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>
-- 
cgit v1.2.3