diff options
Diffstat (limited to 'html/eeproof.php')
| -rw-r--r-- | html/eeproof.php | 2 |
1 files changed, 1 insertions, 1 deletions
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 |