diff options
author | 2001-12-04 17:31:58 +0000 | |
---|---|---|
committer | 2001-12-04 17:31:58 +0000 | |
commit | 79090eef95ed3934d9916daf0673e626eb062e46 (patch) | |
tree | 747d39579e56def6c179f996f6caa4270c80463e /html | |
parent | e0c37c3e8019c59ff4c9245c0761c76752b59270 (diff) |
Update mailing list address (point to web page)
Diffstat (limited to 'html')
-rw-r--r-- | html/devel.html | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/html/devel.html b/html/devel.html index 841b2871..5780ded5 100644 --- a/html/devel.html +++ b/html/devel.html @@ -100,14 +100,10 @@ about any development issues. <p> We have a mailing list for developers, at -<a href="mailto:proofgeneral-devel@dcs.ed.ac.uk"> -<tt>proofgeneral-devel@dcs.ed.ac.uk</tt></a>. +<a href="mailto:proofgeneral-devel@informatics.ed.ac.uk"> +<tt>proofgeneral-devel@informatics.ed.ac.uk</tt></a>. <br> -To subscribe (or unsubscribe), send a message to -<a href="mailto:majordomo@dcs.ed.ac.uk"> - <tt>majordomo@dcs.ed.ac.uk</tt> -</a> -with the words "<tt>subscribe proofgeneral-devel</tt>" -(or "<tt>unsubscribe proofgeneral-devel"</tt>) in the message body. +To subscribe (or unsubscribe), +visit <a href="http://lists.informatics.ed.ac.uk/listinfo/proofgeneral-devel">this web page</a>. </p> |