Updated web pages, misc improvements.

1 files changed, 3 insertions, 3 deletions

diff --git a/html/feedback.phtml b/html/feedback.phtml
index 6413f83b..17dc974c 100644
--- a/html/feedback.phtml
+++ b/html/feedback.phtml
@@ -21,8 +21,8 @@ or offers to help with Proof Generl development.
 <br>
 Or send email directly to
 the 
-<a href="mailto:proofgen@dcs.ed.ac.uk">Proof General maintainer
-&lt;proofgen@dcs.ed.ac.uk&gt;</a>.
+<a href="mailto:feedback@proofgeneral.org">Proof General maintainer
+&lt;feedback@proofgeneral.org&gt;</a>.
 </p>
 <p>
 You can also report a bug using this form, although it would
@@ -77,7 +77,7 @@ Dear Proof General developers,
    print "If you provided a valid return email address, somebody from the Proof General team will acknowledge your message after it has been read.";
    print "</p>";
 
-   mail("da", /*"proofgen@dcs.ed.ac.uk",*/
+   mail("feedback@proofgeneral.org",
 	"[Web Feedback Form]: " . $subject,
 	$message,
         "Reply-To: " . $from . "\n");