The Proof General Users mailing list is a low-volume list used for announcements of new versions, and occasional discussions amongst users.
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 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 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 devel@proofgeneral.org. Again, posting is restricted to list members. Please visit the Mailman web page for subscription details.