Installing the ProB plug-ins
Please use the Rodin update manager to install the plug-ins.
- Select from main menu: Help | Install New Software...
-
Under Work with, select the ProB repository. If it isn't listed, add a new repository using the URL
https://stups.hhu-hosting.de/rodin/prob1/release/
- Select the plug-ins you want to install and follow the dialog.
Queries? Please contact: Heinrich-Heine-University, Software und Programmiersprachen:
To Website.
Privacy Policy (Datenschutz).