PVEDeltaRelease

Delta Release - 28 November 2008

The PVE Delta release for Eclipse 3.4 contains Eclipse 3.4 Ganymede IDE for Java Developers with JML4 plus the following MOBIUS subsystems:

• Coq Editor 0.9.4
• ETHZ JML plugin 1.0.4
• ESC/Java2 2.0.5 updated
• Javafe 2.0.8
• Simplify 1.5.6
• Prover Editor 0.9.7
• Umbra 1.0.2
• FreeBoogie new
• RCC new
• Direct VC Generation 'new

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 delta release has been tested on the following platforms:

• Windows XP
• Mac OS X 10.5 (Leopard)
• Ubuntu Linux version 8

Download

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

Feedback

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

Version: 4 Time: Sat May 23 19:15:19 2009 Author: kiniry (kiniry) IP: 216.175.83.33