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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/footer.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."); ?>
-- 
cgit v1.2.3