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
web page for the list.
Alternatively, you can send a message to firstname.lastname@example.org with the word "subscribe" (or "unsubscribe
The mailing list address is email@example.com.
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 firstname.lastname@example.org. 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.