From 3c4e89e92f4200f65c6b2d8497c62ed560cfbcaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:28:52 +0000
Subject: Updated web pages, misc improvements.

---
 html/footer.phtml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html/footer.phtml')

diff --git a/html/footer.phtml b/html/footer.phtml
index 99af0885..9fd59285 100644
--- a/html/footer.phtml
+++ b/html/footer.phtml
@@ -7,9 +7,9 @@
 </a>
 <address>
 Web pages by
-<a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.
+<a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
 <br>
 Contact
-<a href="mailto:proofgen@dcs.ed.ac.uk">Proof General maintainer.</a>
+<a href="mailto:feedback@proofgeneral.org">Proof General maintainer.</a>
 <br>
 <!-- End of footer -->
\ No newline at end of file
-- 
cgit v1.2.3