Development Information

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

• Download the latest development release: ProofGeneral-3.2pre000918
  Check the file for a summary of changes since the last stable version.

• Browse a mirror of the Proof General CVS repository.
  Note: this mirror is updated nightly, so it may be slightly out of date.
  
• If you want to be an "official" developer and access the real CVS repository, ask here.

• Read a draft of the white paper on the Proof General Kit, see here.

• Get involved! Take a look at the Proof General project proposals.

• Read the developer's , with development hints and tips.

• Read the brief list of planned for Proof General.

• See our current low-level lists of things to do, for the ,
  and for each prover: , , , , .

• about any development issues.

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.