From f52d1eb10eb23acda19f3ab035f553a0919c335b Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Tue, 26 Sep 2023 19:40:09 +0200 Subject: [PATCH] Update index.html --- org.rodinp.handbook.repository/index.html | 45 ++++++++++++----------- 1 file changed, 24 insertions(+), 21 deletions(-) diff --git a/org.rodinp.handbook.repository/index.html b/org.rodinp.handbook.repository/index.html index 54b1e1c..70b583c 100644 --- a/org.rodinp.handbook.repository/index.html +++ b/org.rodinp.handbook.repository/index.html @@ -1,21 +1,24 @@ -<html> -<head> -<title>ProR Handbook Updatesite</title> -<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> -</head> -<body onload="init();"> -<!--[insert static HTML here]--> -<a href="http://www.formalmind.com/"><img src="http://www.formalmind.com/sites/default/files/logo_formalmind.png" border="0" align="right"></a> -<h1 class="title">Installing the Rodin Handbook plug-in</h1> -<p class="bodyText"> -Please use the Rodin Update manager to install the plug-in. -</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://handbook.event-b.org/updatesite/</i></li> -<li>Select the Plug-ins you want to install and follow the dialog</li> -</ol> -<br/> -<div id="data"><!-- this is where the transformed data goes --></div> -</body> -</html> +<!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> -- GitLab