Index of /rodin/prob1/release

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]artifacts.jar2024-02-27 14:54 1.8K 
[   ]artifacts.xml.xz2024-02-27 14:54 1.6K 
[   ]content.jar2024-02-27 14:54 17K 
[   ]content.xml.xz2024-02-27 14:54 9.1K 
[DIR]features/2024-02-27 14:55 -  
[   ]p2.index2024-02-27 14:54 172  
[DIR]plugins/2024-02-27 14:55 -  

Installing the ProB plug-ins

Please use the Rodin update manager to install the plug-ins.

  1. Select from main menu: Help | Install New Software...
  2. 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/
  3. 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).