Select Git revision
build.gradle
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
index.html 976 B
<html>
<head>
<title>stups.prob.update</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body >
<h1 class="title">Installing the ProB plug-ins</h1>
<p class="bodyText">
Please use the Rodin Update manager to install the plug-ins.
</p>
<ol class="bodyText">
<li>Select from main menu: <i>Help | Software Updates | Find and install...</i></li>
<li>There should already be a HHU remote site. If not, create a new remote site using the URL <br/><i>http://www.stups.uni-duesseldorf.de/prob_updates/</i></li>
<li>Select the Plug-ins you want to install and follow the dialog</li>
</ol>
<br/>
Queries? Please contact:
Heinrich-Heine-University, Software und Programmiersprachen:
<a href="http://www.stups.hhu.de/" target="_blank">To Website</a>.
<a href="http://www.uni-duesseldorf.de/home/footer/datenschutz.html">Privacy Policy (Datenschutz)</a>.
<div id="data"><!-- this is where the transformed data goes --></div>
</body>
</html>