From a64c9401667e8ea98241a496ff6eab82381f1ffd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Mar 2001 16:44:55 +0000
Subject: Changes to use proofgen@dcs for now instead of broken
 proofgeneral.org

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

(limited to 'html/footer.html')

diff --git a/html/footer.html b/html/footer.html
index 9fd59285..35c6cf83 100644
--- a/html/footer.html
+++ b/html/footer.html
@@ -10,6 +10,6 @@ Web pages by
 <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
 <br>
 Contact
-<a href="mailto:feedback@proofgeneral.org">Proof General maintainer.</a>
+<?php mlinktxt($project_feedback, "Proof General maintainer."); ?>
 <br>
-<!-- End of footer -->
\ No newline at end of file
+
-- 
cgit v1.2.3