Difference between revisions of "Rodin Platform 3.0 Release Notes"

From Event-B
Jump to navigationJump to search
imported>Tommy
m
imported>Laurent
m
Line 1: Line 1:
RODIN 3.0 is planned for fall 2012.
+
Rodin 3.0 is planned for early 2013.
  
 
It will contain:
 
It will contain:
Line 8: Line 8:
 
*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  [ see [[Element Hierarchy Extension Point & Library]] ]
 
*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 ASCI/Math translation
+
*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)
 
*Refactor the statistics view to handle other kinds of "ElementNode"s (than just Context and Machine Root)
  
Line 19: Line 19:
 
  PLANS ARE:
 
  PLANS ARE:
 
   
 
   
- 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)
 
 
 
 
* General Interface
 
* General Interface
 
{{TODO | ...}}
 
{{TODO | ...}}

Revision as of 16:35, 18 October 2012

Rodin 3.0 is planned for early 2013.

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 [ 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.