From 318d45596d7a57b90dbe685a3e1af3ec12a91469 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Dec 2003 16:46:47 +0000
Subject: Remove proofgeneral.org domain.

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

(limited to 'html/eeproof.php')

diff --git a/html/eeproof.php b/html/eeproof.php
index 3388bee5..445fead7 100644
--- a/html/eeproof.php
+++ b/html/eeproof.php
@@ -23,7 +23,7 @@ page about the next stages of development for Proof General.
 <p>
 <h3>Collaborations</h3>
 Collaborations on this work are being sought.  If you are interested in collaborating, or have ideas or suggestions to contribute, please send a note to
-<a href="mailto:eeproof@proofgeneral.org"><tt>eeproof@proofgeneral.org</tt></a>
+<a href="mailto:da+pg-eeproof@inf.ed.ac.uk"><tt>da+pg-eeproof@inf.ed.ac.uk</tt></a>
 </p>
 
 <?php
-- 
cgit v1.2.3