Proof General follows an open development method.
We welcome code contributions, suggestions, and bug reports, from all users and hackers!

Developers Mailing List

We have a mailing list for developers, at proofgeneral-devel@dcs.ed.ac.uk.
To subscribe (or unsubscribe), send a message to majordomo@dcs.ed.ac.uk with the words "subscribe proofgeneral-devel" (or "unsubscribe proofgeneral-devel") in the message body.