Proof General follows an open development method.
We welcome code contributions, suggestions, and bug reports, from all
users and hackers!
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.