Usage

We recommend that you install the Atelier-B provers (via the Atelier-B Update Site) and the Relevance Filter plug-in (from the Rodin Plug-ins update site) to enhance your proof experience.

• For Rodin users: The release bundle can be used for Event-B and UML-B modelling.

• For Rodin developers: The baseline and target bundles can be used as API baseline and Target platform accordingly.

  1. To set the API baseline:

     1. Start your Eclipse
     2. Open Eclipse Preferences
     3. In the left panel, browse to Plug-in Development > API Baselines
     4. In the right pane, click Add Baselines to open up the New API Baseline dialog
     5. In the New API Baseline dialog, select An existing Eclipse installation directory and click Next
     6. Set the name of the API baseline, e.g., Rodin BL2112, click Browse and navigate to the (unpacked) baseline bundle
        • for Mac OSX, you need to browse to the Contents/Eclipse folder inside the application.
     7. Click Refresh to get the plug-ins/bundles.
     8. Click Finish to complete.
     9. (If not selected already) Select the newly created baseline as the default.
     10. Click Apply and Close

  2. To set the Target Platform:

     1. Start your Eclipse
     2. Open Eclipse Preferences
     3. In the left panel, browse to Plug-in Development > Target Platform
     4. In the right pane, click Add to open up the New Target Definition dialog
     5. In the New Target Definition dialog, select Noting: Start with an empty target definition and click Next
     6. Set the name of the new target, e.g., Rodin TG2112, click Add and to open the Add Content dialog
     7. In the Add Content dialog, select Installation and click Next
     8. Click Browse and navigate to the (unpacked) target bundle and click Next
        • for Mac OSX, you need to browse to the Contents/Eclipse folder inside the application.
     9. Click Finish to complete.
     10. (If not selected already) Select the newly created target definition as the active target platform.
     11. Click Apply and Close (A full rebuild of the workspace will be triggered).