Rodin Handbook


2.3.2 Install new plugins

This sections describes how to install new plugins for Rodin by using the example of the Atelier B Provers plugin (3.4.4). It is highly recommended that you install this plugin because it will not be possible to prove much without it.

Open the Install Manager Help $\rangle $ Install New Software…. Click the downward arrow next to the field Work with to select the Atelier B Provers update site. Check the box next to the Atelier B Provers entry and click on the Next button (compare with Figure 2.3). Follow the installation instruction to install the plugin. After installing the plugin, you will be asked to restart Rodin in order to finalize the installation.


If you are using a firewall, you may need to change the proxy settings.

\includegraphics[width=1.0\textwidth ]{img/tutorial/tut_02_install3.png}
Figure 2.3: Eclipse Install Manager