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 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.

Topic revision: r11 - 13 Oct 2006 - 16:58:42 - DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies