Skip to content
Snippets Groups Projects
Select Git revision
  • a7c19c4785b6d0cd2e78fa5abfabe16803457d80
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.2
  • 1.4.1
  • 1.4.0
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.5
  • 1.1.4
  • 1.1.3
  • 1.1.1
  • 1.1.0
  • 1.0.9
  • 1.0.8
  • 1.0.7
  • v1.0.5
  • 1.0.5
21 results

gradlew

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    index.html 1021 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>https://stups.hhu-hosting.de/rodin/prob1/release/</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="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>.

<div id="data"><!-- this is where the transformed data goes --></div>
</body>
</html>