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

Op. sys. Eclipse, JDK version Plugin versionSorted ascending Joy? Remarks ReporterName Date reported
Mac OS X (10.4.7, ppc) Default download of 3.2.1 SDK, JRE 1.5.0 1.0.3 smile Development (not use) needs Java updates from for RCP. Advice given during downloads. DavidAspinall 02 Oct 2006
Linux (Fedora Core 5, x86) Default download 3.2.1 gtk, JRE rpm 1.0.3 smile Update as root (if Eclipse installed as root). Make sure correct java is on PATH. DavidAspinall 02 Oct 2006
Windows (Vista RC2, x86) Default download 3.2.1 SDK, JRE 1.0.3 smile Eclipse needs to be run with administrative permissions (at least initially). Interfaces correctly with remote Isabelle over an SSH tunnel. GrahamDutton 25 Oct 2006
Linux (Ubuntu Edgy, AMD64) Default download 3.2.1 gtk, JRE 1.6 beta 2 1.0.3 smile Works fine in 64-bit mode but no AMD64 support for Isabelle (must be run remotely). No problems with Java 1.6 so far. GrahamDutton 31 Oct 2006

Standalone PGEclipse program

This is the program available from, 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.

Op. sys. JRE version PGEclipse version Plugin update Joy? Remarks ReporterName Date reported
Mac OS X (10.4.7, ppc) JRE 1.5.0 1.0.2   smile Help links open OK in Firefox
(Safari not tested).
DavidAspinall 02 Oct 2006
Linux (Fedora Core 5, x86) JRE rpm 1.0.2 1.0.3pre2 smile Platform tries to find "netscape" for help
links. Adjust in Window -> Preferences -> General -> Web Browser.
DavidAspinall 04 Oct 2006
Topic revision: r8 - 31 Oct 2006 - 14:24:20 - GrahamDutton
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