|
|
Proof General Mailing Lists |
The Proof General Users mailing list is a low-volume list used for announcements of new versions, and occasional discussions amongst users.
This list is not for those having problems with the software: please visit the Proof General Trac and Proof General Wiki for help.
To subscribe or unsubscribe, visit
the
Mailman
web page for the list.
Alternatively, you can send a message to
proofgeneral-request@informatics.ed.ac.uk
with the word "subscribe" (or "unsubscribe
The mailing list address is proofgeneral@informatics.ed.ac.uk.
In an effort to prevent spam, posting is restricted to list members. Please subscribe here before attempting to post.
Archives of the list (since July 2002) are kept here.
There is a separate mailing list for those interested in the development of Proof General. The canonical address for this list is proofgeneral-devel@inf.ed.ac.uk. Again, posting is restricted to list members. Please visit the Mailman web page for subscription details.
Click here to go back to the front page.