Rodin Platform 2.6 Release Notes: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Tommy
mNo edit summary
imported>Laurent
mNo edit summary
Line 10: Line 10:
  - Theory plug-in in core
  - Theory plug-in in core
  - Operator definition / axiomatic definition
  - Operator definition / axiomatic definition
  - Type instantiation (performed by Systerel) (done)
  - Type specialisation (performed by Systerel) (done)
  - Improved structured editor
  - Improved structured editor
  - Mathematical extension to external provers
  - Mathematical extension to external provers

Revision as of 14:14, 26 June 2012

RODIN 2.6 is planned for 31st July, 2012.

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