Installing the ProB plug-ins
Please use the Rodin Update manager to install the plug-ins.
- Select from main menu: Help | Software Updates | Find and install...
- There should already be a HHU remote site. If not, create a new remote site using the URL
http://www.stups.uni-duesseldorf.de/prob_updates/
- 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).