Rodin Platform 3.0 Release Notes
Jump to navigationJump to search
Revision as of 08:27, 16 April 2012 by
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.