The Proof General 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.