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:

• PGEclipseSources - get the sources
• PGEclipseDevelHints - some development hints
• PGEclipseBuildRunRelease - how to build, run and release Proof General
• PGEclipseProverSetup - notes (possibly obsolete) on adding a new theorem prover
• PGEclipsePlans - some ideas for things to do next
• PGEclipseRefactoringIdeas - ideas for how to rearrange the implementation

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.