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
Mac OS X (10.4.7, ppc) Default download of 3.2.1 SDK, JDK 1.5.0 1.0.1 smile 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, JDK 1.5.0.9 rpm 1.0.1 smile Run as root (if Eclipse installed as root).
DavidAspinall 02 Oct 2006

Standalone PGEclipse program

not yet available

Edit | Attach | Print version | History: r8 | r6 < r5 < r4 < r3 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r4 - 02 Oct 2006 - 11:29:42 - DavidAspinall
 
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