Notes on installation/packaging for PG Eclipse

These are some notes about the packaging mechanisms for Proof General in Eclipse.

The notes assume you have checked out the project from source CVS according to PGEclipseInstall

See also the README.txt in the distribution.

Simply running it

Here is the easiest way to run in the runtime workbench (i.e. a second copy of Eclipse with the PG plugin installed):

1. open plugin.xml by double clicking it
2. click on Launch application or Launch Debug.

Debug mode connects back to the main Eclipse instance and allows crafty dynamic updates of installed classes in the runtime instance.

Run configurations

The button above uses a default run configuration. You can define others by:

1. Choose Run/Debug from Run menu
2. Select application: org.eclipse.ui.ide.workbench
3. Make sure that ed.inf.proofgeneral plugin is included

Packaging products

See Eclipse help for guidance.

A "product" is a standalone application which includes as much of the Eclipse platform as is needed. This is the main way we want to distribute Eclipse Proof General: it's the simplest for users because they only need to download one thing. At the start, we suppose that most users are not already using Eclipse.

RCP

• Main page on Eclipse wiki: http://wiki.eclipse.org/index.php/Rich_Client_Platform
• Tutorial: http://www.eclipse.org/articles/Article-RCP-1/tutorial1.html
• multiple platforms hints in FAQ