From d661db61c6cf21f2b4340de6ce05698e7fb9d702 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 17 May 2023 17:29:42 +0200
Subject: [PATCH] Update URLs in index.html

---
 index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/index.html b/index.html
index 2fc8b1d9..47ed987d 100644
--- a/index.html
+++ b/index.html
@@ -12,15 +12,15 @@ 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>
-<li>There should already be a HHU remote site.  If not, create a new remote site using the URL <br/><i>http://www.stups.uni-duesseldorf.de/prob_updates/</i></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></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="http://www.stups.hhu.de/" target="_blank">To Website</a>.
-<a href="http://www.uni-duesseldorf.de/home/footer/datenschutz.html">Privacy Policy (Datenschutz)</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>.
 
 <div id="data"><!-- this is where the transformed data goes --></div>
 </body>
-- 
GitLab