Rodin Platform 3.0 Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Laurent mNo edit summary |
imported>Laurent Java 7 |
||
| Line 3: | Line 3: | ||
It will contain: | It will contain: | ||
*Binders in extensions | *Binders in extensions | ||
* | *Switch to Java SE 7 | ||
*Prepare for migration to Eclipse 4 | |||
*[[Stronger AST Library]] | *[[Stronger AST Library]] | ||
*Stronger sequent prover | *Stronger sequent prover | ||
Revision as of 12:42, 24 December 2012
Rodin 3.0 is planned for early 2013.
It will contain:
- Binders in extensions
- Switch to Java SE 7
- Prepare for 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.
