From 318d45596d7a57b90dbe685a3e1af3ec12a91469 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Dec 2003 16:46:47 +0000
Subject: Remove proofgeneral.org domain.

---
 html/news.html | 19 ++++++++++++-------
 1 file changed, 12 insertions(+), 7 deletions(-)

(limited to 'html/news.html')

diff --git a/html/news.html b/html/news.html
index bc67d6b6..d9980999 100644
--- a/html/news.html
+++ b/html/news.html
@@ -1,6 +1,17 @@
 <h2>News about Proof General</h2>
 
 <ul>
+<l><b>11th December 2003</b>
+<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. 
+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).
+</p>
+
 <li><b>25th September 2003</b>
 <p>
 There is a new <a href="develdownload">development</a> version of
@@ -16,12 +27,6 @@ updated to mention current development efforts.
 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>
@@ -29,7 +34,7 @@ Please refer to the web site using the URL
 <br>
 Go to the <a href="download">download page</a> to get it.
 <br>
-Please report any problems to <a href="mailto:support@proofgeneral.org"><tt>support@proofgeneral.org</tt></a>.
+Please report any problems to <a href="mailto:da+pg-support@inf.ed.ac.uk"><tt>da+pg-support@inf.ed.ac.uk</tt></a>.
 </p>
 <li><b>1st July 2002</b>
 <p>
-- 
cgit v1.2.3