Difference between revisions of "Rodin Platform 3.0 Release Notes"

From Event-B
Jump to navigationJump to search
imported>Laurent
m
imported>Tommy
m
Line 7: Line 7:
 
*Stronger sequent prover
 
*Stronger sequent prover
 
*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
+
*Parent-child relationship moved appart from UI to the EventB core [[Element Hierarchy Extension Point & Library]]
 
*Refactor the keyboard plug-in to separate UI from ASCI/Math translation
 
*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)
 
*Refactor the statistics view to handle other kinds of "ElementNode"s (than just Context and Machine Root)

Revision as of 13:52, 12 September 2012

RODIN 3.0 is planned for fall 2012.

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 Element Hierarchy Extension Point & Library
  • 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.