PG Eclipse Developer Documentation
For those brave souls who want to extend/improve the Proof General Eclipse plugin, please feel free
to browse the sources and
documentation linked from below. Please
ContactUs if you are interested in making any specific extensions or additions.
Obviously, we would prefer that you contribute major improvements back to us.
The JavaDoc is available online from
http://proofgeneral.inf.ed.ac.uk/Kit/eclipse/javadoc/
Note that it is not guaranteed to be up-to-date. You are encouraged to run JavaDoc yourself on the source files.
Related topics:
System Architecture
The diagram below gives an overview of the system design:
The
alternative diagram
(courtesy of Paul Crook) gives a more artistic outline of the different parts of Proof General Eclipse, and how they link together.