Rodin Platform 3.0 Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Laurent mNo edit summary |
imported>Tommy mNo edit summary |
||
| Line 7: | Line 7: | ||
*Stronger sequent prover | *Stronger sequent prover | ||
*Refactoring of the core production to features | *Refactoring of the core production to features | ||
*Parent-child relationship moved appart from UI to the EventB core | *Parent-child relationship moved appart from UI to the EventB core [[Element Hierarchy Extension Point & Library]] | ||
*Refactor the keyboard plug-in to separate UI from ASCI/Math translation | *Refactor the keyboard plug-in to separate UI from ASCI/Math translation | ||
*Refactor the statistics view to handle other kinds of "ElementNode"s (than just Context and Machine Root) | *Refactor the statistics view to handle other kinds of "ElementNode"s (than just Context and Machine Root) | ||
Revision as of 13:52, 12 September 2012
RODIN 3.0 is planned for fall 2012.
It will contain:
- Binders in extensions
- Migration to Eclipse 4
- Stronger AST Library
- Stronger sequent prover
- Refactoring of the core production to features
- Parent-child relationship moved appart from UI to the EventB core Element Hierarchy Extension Point & Library
- Refactor the keyboard plug-in to separate UI from ASCI/Math translation
- Refactor the statistics view to handle other kinds of "ElementNode"s (than just Context and Machine Root)
N.B. Release notes are commented in this page.
