From e1070c139cb11f47a53ee7290381ae72841f474d Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 17 May 2023 17:39:43 +0200
Subject: [PATCH] Update index.html further

---
 index.html | 31 ++++++++++++++++---------------
 1 file changed, 16 insertions(+), 15 deletions(-)

diff --git a/index.html b/index.html
index 5d5238f3..dd431a4e 100644
--- a/index.html
+++ b/index.html
@@ -1,23 +1,24 @@
-<html>
+<!DOCTYPE html>
+<html lang="en">
 	<head>
-		<title>stups.prob.update</title>
-		<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+		<title>ProB plug-ins repository</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>
+		<h1>Installing the ProB plug-ins</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>
-				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>
+				Under <em>Work with</em>, select the ProB repository. If it isn't listed, add a new repository using the URL<br/>
+				<em>https://stups.hhu-hosting.de/rodin/prob1/release/</em>
 			</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>
-		<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>
+		<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