Rodin Platform 2.6 Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy mNo edit summary |
imported>Tommy mNo edit summary |
||
| Line 10: | Line 10: | ||
- Theory plug-in in core | - Theory plug-in in core | ||
- Operator definition / axiomatic definition | - Operator definition / axiomatic definition | ||
- Type instantiation (performed by Systerel) | - Type instantiation (performed by Systerel) (done) | ||
- Improved structured editor | - Improved structured editor | ||
- Mathematical extension to external provers | - Mathematical extension to external provers | ||
| 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. | ''Formula specialization'' The AST now supports formula, type, and type environment specialization. | ||
== Requirements - Compatibility == | == Requirements - Compatibility == | ||
Revision as of 08:58, 19 June 2012
RODIN 2.6 is planned for 31st July, 2012.
N.B. Release notes are commented in this page.
