Index of /rodin/prob1/release-1.12.1-3.0.10

	Name	Last modified	Size	Description
	Parent Directory		-
	artifacts.jar	2023-05-03 19:15	1.8K
	artifacts.xml.xz	2023-05-03 19:15	1.6K
	content.jar	2023-05-03 19:15	17K
	content.xml.xz	2023-05-03 19:15	9.1K
	features/	2023-05-03 19:35	-
	p2.index	2023-05-03 19:15	172
	plugins/	2023-05-03 19:35	-

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).