Difference between revisions of "Rodin Platform 2.6 Release Notes"
From Event-B
Jump to navigationJump to searchimported>Laurent (More plans) |
imported>Tommy m |
||
Line 26: | Line 26: | ||
* Changes for plugin-developers | * Changes for plugin-developers | ||
{{TODO | ...}} | {{TODO | ...}} | ||
+ | ''Formula specialization'' The AST now supports formula, type, and type environment specialization. | ||
== Requirements - Compatibility == | == Requirements - Compatibility == |
Revision as of 09:41, 13 June 2012
RODIN 2.6 is planned for 31st July, 2012.
N.B. Release notes are commented in this page.