blob: 402047b0e8ff1756074aea92d12d58305c792e5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
<?php
require('functions.php3');
small_header("Proof General Mailing List");
?>
<p>
The Proof General mailing list is a low-volume list
used for announcements of new versions, and occasional
discussions amongst users.
</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</a>
web page 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>
<?php
click_to_go_back();
footer();
?>
|
