Skip to content
Snippets Groups Projects
Select Git revision
  • 994a7c00bacb025b012defb0716cb8b8b2fa17eb
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results

epl-v10.html

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    footer.html 766 B 
    <h1>Installing the ProB plug-ins</h1>
<p>Please use the Rodin update manager to install the plug-ins.</p>
<ol>
	<li>Select from main menu: <em>Help | Install New Software...</em></li>
	<li>
		Under <em>Work with</em>, select the ProB repository. If it isn't listed, add a new repository using the URL<br/>
		<em>https://stups.hhu-hosting.de/rodin/prob1/release/</em>
	</li>
	<li>Select the plug-ins you want to install and follow the dialog.</li>
</ol>
<p>
	Queries? Please contact: Heinrich-Heine-University, Software und Programmiersprachen:
	<a href="https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages" target="_blank">To Website</a>.
	<a href="https://www.hhu.de/datenschutzerklaerung">Privacy Policy (Datenschutz)</a>.
</p>