1 files changed, 66 insertions, 0 deletions
diff --git a/html/mailinglist b/html/mailinglist
new file mode 100644
index 00000000..3f2e387f
--- /dev/null
+++ b/html/mailinglist
@@ -0,0 +1,66 @@
+<?php  
+  require('functions.php3');
+  small_header("Proof General Mailing Lists"); 
+  ?>
+
+<p>
+The Proof General Users mailing list is a low-volume list
+used for announcements of new versions, and occasional
+discussions amongst users.
+</p>
+<p>
+This list is <i>not</i> for those having problems with the
+software: please contact 
+<a href="mailto:support@proofgeneral.org">support@proofgeneral.org</a>
+in the first instance.
+</p>
+
+<h3>Subscriptions</h3>
+<p>
+To <b>subscribe or unsubscribe</b>, visit
+the 
+<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">
+<tt>proofgeneral-request@informatics.ed.ac.uk</tt></a>
+with the word "<tt>subscribe</tt>" (or "<tt>unsubscribe <it>password</it></tt>")
+in the message body.
+</p>
+
+
+<h3>Posting</h3>
+<p>
+The canonical mailing list address is 
+<a href="mailto:users@proofgeneral.org"><tt>users@proofgeneral.org</tt></a>.
+<br>
+This is an alias for
+<tt>proofgeneral@informatics.ed.ac.uk</tt>.
+</p>
+<p>
+In an effort to prevent spam, posting is restricted to list members.
+Please <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">subscribe here</a> before attempting to post.
+</p>
+
+<h3>Archives</h3>
+<p>
+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();
+?>