From 71b52dac340d4dd55ab420628a51123781c7fc1d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 17 Feb 2003 20:44:11 +0000
Subject: Update addresses

---
 html/footer.html   | 2 +-
 html/oldnews.html  | 4 ++--
 html/register.html | 4 ++--
 3 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'html')

diff --git a/html/footer.html b/html/footer.html
index de01ece5..77709857 100644
--- a/html/footer.html
+++ b/html/footer.html
@@ -2,7 +2,7 @@
 <hr>
 <address>
 Web pages by
-<a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.
+<a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>.
 <br>
 Contact
 <?php mlinktxt($project_feedback, "Proof General maintainer."); ?>
diff --git a/html/oldnews.html b/html/oldnews.html
index 89d856c7..510f0904 100644
--- a/html/oldnews.html
+++ b/html/oldnews.html
@@ -234,7 +234,7 @@ I'm pleased to say that Proof General will be demonstrated at
 <a href="http://iks.cs.tu-berlin.de/etaps2000/etaps.html">ETAPS 2000</a>.
 Here are some draft <a href="papers/pgtalk.pdf">slides</a> for 
 the presentation 
-(any <a href="mailto:da@dcs.ed.ac.uk">comments</a> would be welcome).
+(any <a href="mailto:David.Aspinall@ed.ac.uk">comments</a> would be welcome).
 A presentation of Proof General based on these slides was given at 
 <a href="http://www.clrc.ac.uk/">Rutherford Appleton Laboratory</a> last week.
 </p>
@@ -407,7 +407,7 @@ support implemented.
 </li>
 </ul>
 <p>
-<i>News items by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.</i>
+<i>News items by <a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>.</i>
 </p>
 
 
diff --git a/html/register.html b/html/register.html
index 097d8441..2b8ed157 100644
--- a/html/register.html
+++ b/html/register.html
@@ -78,7 +78,7 @@ again, so return to <a href="download#prereq">the download page</a>.
 	    . "\nEmail:\t\t " . $email
 	    . "\nSite:\t\t " . $site
 	    . "\nSubmitted:\t" . date("h:ia D jS F Y");
-   mail("proofgen@dcs.ed.ac.uk",
+   mail("register@proofgeneral.org",
 	"[Registration form from ~proofgen]",
 	 $message);
    
@@ -91,7 +91,7 @@ again, so return to <a href="download#prereq">the download page</a>.
 
    if ($mailinglist) {
 	$message = "subscribe proofgeneral"; 
-	mail("majordomo@dcs.ed.ac.uk",
+	mail("mailman@inf.ed.ac.uk",
 	     "[Web form from ~proofgen]",
 	     $message,
 	    "Reply-To: " . $email . "\nFrom: " . $email);
-- 
cgit v1.2.3