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.

ALERT! 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:

  1. After you do "Check out as project" on "/Kit/eclipse/maindev" on the head branch, click "Next"
  2. Change the check out location to a desired workspace location, or just continue and click "Next"
  3. On the "Select Tag" screen now, select "Branches" and click the "Refresh Tags" button.
  4. 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

This topic: PG > PGEclipseBrokerVersion
Topic revision: r1 - 07 Jun 2007 - 15:40:12 - 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