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.

Op. sys.	Eclipse, JDK version	Plugin version	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		Development (not use) needs Java updates from developer.apple.com for RCP. Advice given during downloads.	DavidAspinall	02 Oct 2006
Linux (Fedora Core 5, x86)	Default download 3.2.1 gtk, JRE 1.5.0.9 rpm	1.0.3		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.5.0.9	1.0.3		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		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 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.

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			Help links open OK in Firefox (Safari not tested).	DavidAspinall	02 Oct 2006
Linux (Fedora Core 5, x86)	JRE 1.5.0.9 rpm	1.0.2	1.0.3pre2		Platform tries to find "netscape" for help links. Adjust in Window -> Preferences -> General -> Web Browser.	DavidAspinall	04 Oct 2006