Development Information

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

• Download the latest development release: ProofGeneral-3.4pre020807
  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.

• Read about ideas for the Proof General Kit here.

• Take a look at some 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: , , , , .

• See Proof General's standalone components which can be used in other programs.

• about any development issues.

Developers Mailing List

We have a mailing list for developers, at devel@proofgeneral.org.
Posting is restricted to list members. To subscribe (or unsubscribe), visit this web page.