Rodin 3.0 Plug-in Migration Guide
From Event-B
Release 3.0 of the Rodin platform introduces important changes to the Rodin Platform API. These changes make the core platform stronger and fix some erroneous design decisions that were taken in previous Rodin releases.
This guide details the actions that plug-in developers must take in order to port their plug-ins from the 2.7 API to the 3.0 API.
AST Library
TODO: Document type environment change
Core Event-B Plug-in
All constants, methods and classes that were marked as deprecated in the API have been removed. If you were using one of these, please read its Javadoc in Rodin 2.7 which describes an alternative implementation.
