Difference between revisions of "Rodin Platform 2.6 Release Notes"

From Event-B
Jump to navigationJump to search
imported>Tommy
m
imported>Laurent
(More plans)
Line 11: Line 11:
 
  - Operator definition / axiomatic definition
 
  - Operator definition / axiomatic definition
 
  - Type instantiation (performed by Systerel)
 
  - Type instantiation (performed by Systerel)
 +
- Improved structured editor
 +
- Mathematical extension to external provers
  
  

Revision as of 13:55, 30 May 2012

RODIN 2.6 is planned for 31st July, 2012.

N.B. Release notes are commented in this page.