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.5pre031006
  or browse the development distribution.
  Check the file for a summary of changes since the last stable version.

• New! The Proof General CVS repository is available by anonymous CVS. Login with:

  cvs -d :pserver:anon@cvs.inf.ed.ac.uk:/disk/cvs/proofgen login

  and use the password anon. Then you can check out the CVS with:

  cvs -d :pserver:anon@cvs.inf.ed.ac.uk:/disk/cvs/proofgen checkout ProofGeneral

  For more information, see the file etc/cvs-tips.txt in the repository. (If you want to be an "official" developer and have write access to the CVS repository, ask here first).

• 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 proofgeneral-devel@inf.ed.ac.uk.
Posting is restricted to list members. To subscribe (or unsubscribe), visit this web page.