Rodin Platform 3.0 Release Notes: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Tommy
mNo edit summary
imported>Tommy
mNo edit summary
Line 1: Line 1:
Rodin 3.0 IS NOT YET AVAILABLE
Rodin 3.0 IS NOT YET AVAILABLE.<br>
This release is planned for beginning of 2014.
This release is planned for beginning of 2014.


=== THIS PAGE IS SUBJECT TO CHANGE UNTIL RODIN 3.0 IS RELEASED ===
For developers, there are API evolutions, see [[Rodin 3.0 Plug-in Migration Guide]].


For developers, there are API evolutions, see [[Rodin 3.0 Plug-in Migration Guide]].
<tt>Release Notes are commented on this page here below.</tt><br>
<tt>Uncomment when finishing edition.</tt>


<!--
{{TOCright}}
{{TOCright}}


Line 74: Line 76:


[[Category:Rodin Platform Release Notes]]
[[Category:Rodin Platform Release Notes]]
-->

Revision as of 18:12, 2 January 2014

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.