Skip to content
Snippets Groups Projects
Commit e1070c13 authored by dgelessus's avatar dgelessus
Browse files

Update index.html further

parent 184075c8
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 16 additions and 15 deletions
index.html
+ 16
− 15
View file @ e1070c13
<html> <!DOCTYPE html>
<html lang="en">
<head> <head>
<title>stups.prob.update</title> <title>ProB plug-ins repository</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
</head> </head>
<body> <body>
<h1 class="title">Installing the ProB plug-ins</h1> <h1>Installing the ProB plug-ins</h1>
<p class="bodyText">Please use the Rodin Update manager to install the plug-ins.</p> <p>Please use the Rodin update manager to install the plug-ins.</p>
<ol class="bodyText"> <ol>
<li>Select from main menu: <i>Help | Software Updates | Find and install...</i></li> <li>Select from main menu: <em>Help | Install New Software...</em></li>
<li> <li>
There should already be a HHU remote site. If not, create a new remote site using the URL <br/> Under <em>Work with</em>, select the ProB repository. If it isn't listed, add a new repository using the URL<br/>
<i>https://stups.hhu-hosting.de/rodin/prob1/release/</i> <em>https://stups.hhu-hosting.de/rodin/prob1/release/</em>
</li> </li>
<li>Select the Plug-ins you want to install and follow the dialog</li> <li>Select the plug-ins you want to install and follow the dialog.</li>
</ol> </ol>
<br/> <p>
Queries? Please contact: Heinrich-Heine-University, Software und Programmiersprachen: 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.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>. <a href="https://www.hhu.de/datenschutzerklaerung">Privacy Policy (Datenschutz)</a>.
<div id="data"><!-- this is where the transformed data goes --></div> </p>
</body> </body>
</html> </html>
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment