Difference between revisions of "Rodin Platform 3.0 Release Notes"

From Event-B
Jump to navigationJump to search
imported>Laurent
(Remove switch to Java 7)
imported>Nicolas
m (update release date)
Line 1: Line 1:
Rodin 3.0 is planned for end of April 2013.
+
Rodin 3.0 is planned for end of September 2013.
  
 
It will contain:
 
It will contain:
*Binders in extensions
 
 
*Prepare for migration to Eclipse 4
 
*Prepare for migration to Eclipse 4
 
*[[Stronger AST Library]]
 
*[[Stronger AST Library]]
Line 10: Line 9:
 
*Refactor the keyboard plug-in to separate UI from ASCII/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)
 +
  
 
N.B. Release notes are commented in this page.
 
N.B. Release notes are commented in this page.

Revision as of 12:49, 5 September 2013

Rodin 3.0 is planned for end of September 2013.

It will contain:

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