Difference between revisions of "Rodin Platform 2.6 Release Notes"
From Event-B
Jump to navigationJump to searchimported>Tommy m |
imported>Laurent (More plans) |
||
Line 11: | Line 11: | ||
- Operator definition / axiomatic definition | - Operator definition / axiomatic definition | ||
- Type instantiation (performed by Systerel) | - Type instantiation (performed by Systerel) | ||
+ | - Improved structured editor | ||
+ | - Mathematical extension to external provers | ||
Revision as of 13:55, 30 May 2012
RODIN 2.6 is planned for 31st July, 2012.
N.B. Release notes are commented in this page.