Development Information

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

• Read about ideas for the Proof General Kit here.

• Download the latest development release: ProofGeneral-3.4pre020701
  or browse the development distribution.
  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.

• 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@informatics.ed.ac.uk.
To subscribe (or unsubscribe), visit this web page.