Rodin Handbook
This work is sponsored by the Deploy Project
This work is sponsored by the ADVANCE Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
Rodin User’s Handbook v.2.8 |  |
 |
 |
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 
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.
![\includegraphics[width=7mm]{img/warning_64.png}](images/img-0004.png)
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}](images/img-0013.png)
Figure 2.3: Eclipse Install Manager
|
|
|
|
|
|