diff options
Diffstat (limited to 'html/kit.php')
| -rw-r--r-- | html/kit.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/kit.php b/html/kit.php index b41317c9..3dd96cca 100644 --- a/html/kit.php +++ b/html/kit.php @@ -7,7 +7,7 @@ The Proof General Kit project is in an early experimental stage at the moment. If you are interested in collaborating, or have ideas or suggestions to contribute, please send a note to -<a href="mailto:kit@proofgeneral.org"><tt>kit@proofgeneral.org</tt></a> +<a href="mailto:da+pg-kit@inf.ed.ac.uk"><tt>da+pg-kit@inf.ed.ac.uk</tt></a> </p> <h3>Planning</h3> |