Skip to topic
|
Skip to bottom
IST-15905
Tools Web
Mobius Public Home
Mobius Intranet
Tools Web Home
Overview
Tools Summary
Tools Contacts
Component Index
Related Tools
Download Tools
Scientific Issues
Tools Publications
Project Management
Development Schedule
Project Status
Documentation And Coding Standards
Latest News
Tools Meetings
Site Visits
GForge
Tools
Index
Search
Changes
RSS Feed
Statistics
Preferences
Edit Toolbar
Help
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 [[http://gforge.inria.fr/frs/?group_id=109][Mobius GForge]] as well as the [[http://sort.ucd.ie/][UCD GForge]].
End of topic
Skip to action links
|
Back to top
r1.2 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Tools
>
RecentReleases
to top
Ideas, requests, problems regarding the Mobius site