Difference between revisions of "Rodin Platform 2.6 Release Notes"
From Event-B
Jump to navigationJump to searchimported>Tommy m |
imported>Laurent m |
||
Line 10: | Line 10: | ||
- Theory plug-in in core | - Theory plug-in in core | ||
- Operator definition / axiomatic definition | - Operator definition / axiomatic definition | ||
− | - Type | + | - Type specialisation (performed by Systerel) (done) |
- Improved structured editor | - Improved structured editor | ||
- Mathematical extension to external provers | - Mathematical extension to external provers |
Revision as of 14:14, 26 June 2012
RODIN 2.6 is planned for 31st July, 2012.
N.B. Release notes are commented in this page.