The Proof General Users mailing list is a low-volume list used for announcements of new versions, and occasional discussions amongst users.

Subscriptions

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 password") in the message body.

Posting

The canonical mailing list address is users@proofgeneral.org.
This is an alias for 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

Archives of the list (since July 2002) are kept here.

Proof General Developers list

There is a separate mailing list for those interested in the development of Proof General. The canonical address for this list is devel@proofgeneral.org. Again, posting is restricted to list members. Please visit the Mailman web page for subscription details.