PVEGammaRelease

Gamma Release - 12 February 2008

The PVE gamma release for Eclipse 3.3 contains the Eclipse 3.3 Europa IDE for Java Developers plus the following MOBIUS subsystems:

• Coq Editor 0.9.4
• ETHZ JML plugin 1.0.4
• ESC/Java2 2.0b4
• Javafe 2.0.8
• Simplify 1.5.6
• Prover Editor 0.9.7
• Umbra 1.0.2

and the following third-party subsystems:

• BCEL feature 1.0.0
• Buckminster 0.2.0
• Checkstyle 4.3.3
• EclEmma Java Code Coverage 1.3.0
• FindBugs feature 1.2.1
• Metrics 1.3.6
• Mylyn 2.1.0
• PMD 3.2.4
• Subclipse 1.2.4

Sample Workspace

The sample workspace contains the following projects:

• ESCJava2 plugin demo
• ETAPS Tutorial demo
• Examples

The Mobius Developer workspace contains the above projects and the Mobius source code.

Platforms

The gamma 3.3 release has been tested on the following platforms:

• Mac OS X 10.4 Tiger
• Mac OS X 10.5 Leopard
• Linux - Fedora
• Windows XP - There is a potential issue with the path+file name length on Windows XP breaching the 255 char limit depending on where the distribution file is unzipped (It unzips fine in the root but fails on, say, the user desktop).
• Windows Vista

Download

The two most recent Mobius PVE releases are available from KindSoftware.

Feedback

[https://mobius.ucd.ie/newticket]

Version: 18 Time: Sat May 23 18:38:48 2009 Author: kiniry (kiniry) IP: 67.126.129.104