Development Information
Proof General follows an open development method.
We encourage code contributions, suggestions, and bug reports, from all
users.
-
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 the
developer's
,
with development hints and tips.
-
Read the brief list of planned
for Proof General.
-
about any development issues.
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.