Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result

index.html

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    index.html 1004 B 
    <!DOCTYPE html>
<html lang="en">
	<head>
		<title>Rodin Handbook repository</title>
		<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
	</head>
	<body>
		<h1>Installing the Rodin Handbook plug-in</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 Rodin Handbook repository. If it isn't listed, add a new repository using the URL<br/>
				<em>https://stups.hhu-hosting.de/handbook/rodin/updatesite/</em>
			</li>
			<li>Select the Rodin Handbook plug-in 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>
	</body>
</html>