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:

Feedback

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

Version: 2 Time: Fri Nov 28 11:31:46 2008 Author: dcochran (dcochran) IP: 193.1.132.32