diff options
| author | David Aspinall | 2004-02-07 19:31:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-02-07 19:31:13 +0000 |
| commit | b9caaa8e4b66817dbc66d0e79b567b3285869fea (patch) | |
| tree | c5420dac1aa1afc28168867ca5cc9c610a46399e /html/mailinglist | |
| parent | 87174e13a8aa064f6d00ef9248da9938ea4978f6 (diff) | |
Deleted file
Diffstat (limited to 'html/mailinglist')
| -rw-r--r-- | html/mailinglist | 66 |
1 files changed, 0 insertions, 66 deletions
diff --git a/html/mailinglist b/html/mailinglist deleted file mode 100644 index d957589e..00000000 --- a/html/mailinglist +++ /dev/null @@ -1,66 +0,0 @@ -<?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:da+pg-support@inf.ed.ac.uk">da+pg-support@inf.ed.ac.uk</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:da+pg-users@inf.ed.ac.uk"><tt>da+pg-users@inf.ed.ac.uk</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:da+pg-devel@inf.ed.ac.uk"><tt>da+pg-devel@inf.ed.ac.uk</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(); -?> |