Proof General Home

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.

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 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

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 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.


Web pages by David Aspinall. Please report issues on PG trac.
Last modified 07 July 2016.