Rodin Platform 3.0 Release Notes

From Event-B
Revision as of 11:38, 17 March 2014 by imported>Nicolas (add 64 bit requirements)
Jump to navigationJump to search

Rodin 3.0 IS NOT YET AVAILABLE.
This release is planned for beginning of 2014.

For developers, there are API evolutions, see Rodin 3.0 Plug-in Migration Guide.

Release Notes are commented on this page here below.
Uncomment when finishing edition.