Rodin Platform 3.0 Release Notes: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Tommy
mNo edit summary
imported>Tommy
No edit summary
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.