diff options
| author | David Aspinall | 2001-03-20 16:44:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-03-20 16:44:55 +0000 |
| commit | a64c9401667e8ea98241a496ff6eab82381f1ffd (patch) | |
| tree | 3c6ade309deb65686d4ad855f8d5742da03f474f /html/footer.html | |
| parent | 3516cb7082e6ee1f2d1b7a22e45b7844847d1d50 (diff) | |
Changes to use proofgen@dcs for now instead of broken proofgeneral.org
Diffstat (limited to 'html/footer.html')
| -rw-r--r-- | html/footer.html | 4 |
1 files changed, 2 insertions, 2 deletions
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 + |