PG Eclipse: Successes and Failures
Please add entries to the tables below to document success/failure with our software.
This is meant to help briefly highlight install/running difficulties (and success cases)
rather than report and describe bugs. See
PGEclipseInstallProbs and
PGEclipseBugs for more detailed reports.
Please always test
the latest version available. Inside Eclipse, check for updates via
Help -> Software Updates
Installation of plugin into Eclipse platform
This is the installation available from the Eclipse update site
http://proofgeneral.inf.ed.ac.uk/eclipse, see
these instructions.
You can find out the plugin version via
Help -> About. NB: the
plugin version
is not the same as the
feature version,
although they should match. If your experience changes after updating,
please add another entry.
Standalone PGEclipse program
This is the program available from
http://proofgeneral.inf.ed.ac.uk/eclipse/products, see
these instructions.
If you update the program please fill the plugin version number for
ed.inf.proofgeneral
that you are running with after restarting Eclipse.