Installing the Rodin Handbook plug-in

Please use the Rodin Update manager to install the plug-in.

1. Select from main menu: Help | Software Updates | Find and install...
2. There should already be a HHU remote site. If not, create a new remote site using the URL
   http://handbook.event-b.org/updatesite/
3. Select the Plug-ins you want to install and follow the dialog