diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/mailinglist | 19 |
1 files changed, 15 insertions, 4 deletions
diff --git a/html/mailinglist b/html/mailinglist index 402047b0..35bed81b 100644 --- a/html/mailinglist +++ b/html/mailinglist @@ -1,10 +1,10 @@ <?php require('functions.php3'); - small_header("Proof General Mailing List"); + small_header("Proof General Mailing Lists"); ?> <p> -The Proof General mailing list is a low-volume list +The Proof General Users mailing list is a low-volume list used for announcements of new versions, and occasional discussions amongst users. </p> @@ -13,8 +13,8 @@ discussions amongst users. <p> To <b>subscribe or unsubscribe</b>, visit the -<a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">Mailman</a> -web page for the list. +<a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">Mailman +web page</a> for the list. <br> Alternatively, you can send a message to <a href="mailto:proofgeneral-request@informatics.ed.ac.uk"> @@ -43,6 +43,17 @@ Archives of the list (since July 2002) are kept <a href="http://lists.informatics.ed.ac.uk/pipermail/proofgeneral">here</a>. </p> +<h3>Proof General Developers list</h3> +<p> +There is a separate mailing list for those interested in the +development of Proof General. The canonical address +for this list is <a href="mailto:devel@proofgeneral.org"><tt>devel@proofgeneral.org</tt></a>. +Again, posting is restricted to list members. +Please visit the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral-devel">Mailman web page</a> for subscription details. +</p> + + + <?php click_to_go_back(); footer(); |