| layout | title | subtitle |
|---|---|---|
page |
Development Info |
{% comment %} TODO: Update or remove
Here is a snapshot of the latest pre-release of Proof General, for testing the latest features and fixes. Developers may prefer to access the CVS repository, see below for details.
Check the CHANGES file for a summary of changes since the last stable version, and notes about work-in-progress.
Please report problems you find with the latest pre-release. Please register if you haven't done so already.
gzip'ed tar file
ProofGeneral-4.3pre150930.tgz (14027k)
individual files
http access to files in development release
documentation
User Manual and Adapting Manual
{% endcomment %}
Proof General follows an open development method. We encourage code contributions, suggestions, and bug reports, from all users. Please refer to the GitHub repository for more pointers and collaboration.
You might also want to look at this wiki page or at the PG trac for older bug reports.
{% comment %} TODO: remove
The Proof General CVS repository is available by anonymous CVS. Login with:
cvs -d :pserver:[email protected]:/disk/cvs/proofgen login
and use the password anon. Then you can check out the CVS with:
cvs -d :pserver:[email protected]:/disk/cvs/proofgen checkout ProofGeneral
For more information, see the file etc/cvs-tips.txt in the repository.
If you want to have write access to the CVS repository, ask
here first and fill in this
page.
- See Proof General's standalone components which can be used in other programs.
- Read about the Proof General Kit and visit its wiki page.
{% endcomment %}
We have a mailing list for users, at [email protected]. Posting is restricted to list members. To subscribe (or unsubscribe), visit this web page.
We also have a mailing list for developers, at [email protected]. Posting is restricted to list members. To subscribe (or unsubscribe), visit this web page.
{% comment %} TODO: remove You can also directly send us a message about any development issues. {% endcomment %}