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

Update index.html

parent 2405806a
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
org.rodinp.handbook.repository/index.html
+ 24
− 21
View file @ f52d1eb1
<html> <!DOCTYPE html>
<html lang="en">
<head> <head>
<title>ProR Handbook Updatesite</title> <title>Rodin Handbook 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 onload="init();"> <body>
<!--[insert static HTML here]--> <h1>Installing the Rodin Handbook plug-in</h1>
<a href="http://www.formalmind.com/"><img src="http://www.formalmind.com/sites/default/files/logo_formalmind.png" border="0" align="right"></a> <p>Please use the Rodin update manager to install the plug-ins.</p>
<h1 class="title">Installing the Rodin Handbook plug-in</h1> <ol>
<p class="bodyText"> <li>Select from main menu: <em>Help | Install New Software...</em></li>
Please use the Rodin Update manager to install the plug-in. <li>
</p> Under <em>Work with</em>, select the Rodin Handbook repository. If it isn't listed, add a new repository using the URL<br/>
<ol class="bodyText"> <em>https://stups.hhu-hosting.de/handbook/rodin/updatesite/</em>
<li>Select from main menu: <i>Help | Software Updates | Find and install...</i></li> </li>
<li>There should already be a HHU remote site. If not, create a new remote site using the URL <br/><i>http://handbook.event-b.org/updatesite/</i></li> <li>Select the Rodin Handbook plug-in and follow the dialog.</li>
<li>Select the Plug-ins you want to install and follow the dialog</li>
</ol> </ol>
<br/> <p>
<div id="data"><!-- this is where the transformed data goes --></div> 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>
</body> </body>
</html> </html>
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment