diff options
| -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> |