Broker-enabled version of PG Eclipse
The broker enabled version of PGEclipse is on a side branch of the CVS (by Ahsan Fayyaz, tagged
Uni-Bremen-Ahsan1
).
It enables -- and requires -- the use of the
ProofGeneralBroker but is
presently feature-poor and even-more-bug-rich compared with the main branch. This branch was developed for
Eclipse 3.1 but has now been partly updated for Eclipse 3.2 and Java 1.5.

This version is no longer being developed, it is not recommended to try it.
Our plan is to integrate broker support into the main version, but also include a Java lightweight
broker. See
PGEclipseRefactoringIdeas for discussion.
Broker-enabled version of ed.inf.proofgeneral
project
If you wish to try out the version of the Proof General Eclipse plugin which supports the
ProofGeneralBroker than follow these
steps after step no 5 in
PGEclipseSources:
- After you do "Check out as project" on "/Kit/eclipse/maindev" on the head branch, click "Next"
- Change the check out location to a desired workspace location, or just continue and click "Next"
- On the "Select Tag" screen now, select "Branches" and click the "Refresh Tags" button.
- You should now see two branches, select the one which says "Uni-Bremen-Ahsan1" and click finish to Download.
Please see the
ProofGeneralBroker page for download and install instructions for the Proof General Broker.
--
DavidAspinall - 07 Jun 2007