html/mailinglist


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
50
51
52
53
54
55
56
57
58
59
60

<?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>

<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();
?>