Difference between revisions of "Rodin Platform 3.0 Release Notes"
From Event-B
Jump to navigationJump to searchimported>Tommy m |
imported>Tommy |
||
| Line 1: | Line 1: | ||
| + | RODIN 3.0 is planned for fall 2012. | ||
| + | |||
| + | It will contain: | ||
| + | *Binders in extensions | ||
| + | *Migration to Eclipse 4 | ||
| + | *Stronger AST | ||
| + | *Stronger sequent prover | ||
| + | *Refactoring of the core production to features | ||
| + | *Parent-child relationship moved appart from UI to the EventB core | ||
| + | *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. | ||
| + | |||
| + | <!-- | ||
{{TOCright}} | {{TOCright}} | ||
| Line 69: | Line 84: | ||
[[Category:Rodin Platform Release Notes]] | [[Category:Rodin Platform Release Notes]] | ||
| + | --> | ||
Revision as of 08:27, 16 April 2012
RODIN 3.0 is planned for fall 2012.
It will contain:
- Binders in extensions
- Migration to Eclipse 4
- Stronger AST
- Stronger sequent prover
- Refactoring of the core production to features
- Parent-child relationship moved appart from UI to the EventB core
- 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.
