PG Eclipse: Successes and Failures

Please add to the table below to document success/failure with our software.

These tables have been reset for the Eclispe 3.2.1-based release in October 2006.

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.

Op. sys.	Eclipse, JDK version	Plugin version	Joy?	Remarks	ReporterName	Date reported
Linux (Fedora Core 5, x86)	Default download 3.2.1 gtk, JDK 1.5.0.9 rpm	1.0.1		Run as root (if Eclipse installed as root).	DavidAspinall	02 Oct 2006
Mac OS X (10.4.7, ppc)	Default download of 3.2.1 SDK, JDK 1.5.0	1.0.1		Development (not use) needs Java updates from developer.apple.com for RCP. Advice given during downloads.	DavidAspinall	02 Oct 2006

Standalone PGEclipse program

not yet available