Skip to topic | Skip to bottom
... Mobius IST-15905


Start of topic | Skip to actions

Recent Release Updates

1 October 2006

The initial, Mobius partner-internal releases of several subsystems and components of the Mobius Program Verification Environment are taking place this week. On 1 October the first beta release of ESC/Java2 was made available. In the coming days other new and updated components will be posted, culminating in a full, preconfigured Eclipse environment download for multiple platforms.

The first beta version of ESC/Java2 (version 2.0b0) has been released. It is available both on the Mobius GForge as well as the UCD GForge.


You are here: Tools > Component Index > Bytecode Subsystem > Latest News > RecentReleases

to top

Ideas, requests, problems regarding the Mobius site QUESTION?