From 8d598218e731f82516cc684567f05a4d830cc439 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Mar 2001 18:05:01 +0000
Subject: Change to my canonical www.dcs web address

---
 html/footer.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/footer.html b/html/footer.html
index 35c6cf83..7c6db36a 100644
--- a/html/footer.html
+++ b/html/footer.html
@@ -7,7 +7,7 @@
 </a>
 <address>
 Web pages by
-<a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
+<a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.
 <br>
 Contact
 <?php mlinktxt($project_feedback, "Proof General maintainer."); ?>
-- 
cgit v1.2.3