Difference between revisions of "Rodin Platform 3.0 Release Notes"
From Event-B
Jump to navigationJump to searchimported>Tommy m |
imported>Laurent m |
||
Line 1: | Line 1: | ||
− | + | Rodin 3.0 is planned for early 2013. | |
It will contain: | It will contain: | ||
Line 8: | Line 8: | ||
*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 [ see [[Element Hierarchy Extension Point & Library]] ] | *Parent-child relationship moved appart from UI to the EventB core [ see [[Element Hierarchy Extension Point & Library]] ] | ||
− | *Refactor the keyboard plug-in to separate UI from | + | *Refactor the keyboard plug-in to separate UI from ASCII/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) | ||
Line 19: | Line 19: | ||
PLANS ARE: | PLANS ARE: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
* General Interface | * General Interface | ||
{{TODO | ...}} | {{TODO | ...}} |
Revision as of 16:35, 18 October 2012
Rodin 3.0 is planned for early 2013.
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 [ see Element Hierarchy Extension Point & Library ]
- Refactor the keyboard plug-in to separate UI from ASCII/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.