From c8e3c165da694931a9e296c981be58fd7db9b6a0 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 3 Apr 2023 14:19:50 +0200
Subject: [PATCH] Update URLs

---
 README.md                           | 6 +++---
 binder/postBuild                    | 4 ++--
 info4/kapitel-0/Logik.ipynb         | 4 ++--
 info4/kapitel-0/Mengentheorie.ipynb | 2 +-
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/README.md b/README.md
index 29ef479..8979234 100644
--- a/README.md
+++ b/README.md
@@ -1,11 +1,11 @@
-[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob-teaching-notebooks/master)
+[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob-teaching-notebooks/HEAD)
 # Various Notebooks for Teaching
 
 These notebooks are made for the [ProB Jupyter kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel).
-[ProB](https://www3.hhu.de/stups/prob) is a validation tool for formal methods, in particular for the B method.
+[ProB](https://prob.hhu.de/w/) is a validation tool for formal methods, in particular for the B method.
 At its heart is a constraint solver for logic, set theory and arithmetic.
 
 
-These notebooks were developed by the [STUPS group](https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen.html) of the [University of Düsseldorf](https://www.uni-duesseldorf.de).
+These notebooks were developed by the [STUPS group](https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen.html) of the [University of Düsseldorf](https://www.hhu.de).
 
 To view the formatted output of ProB you may have to click in the upper right corner on "Not Trusted". Once a notebook is trusted, JavaScript is enabled and can render formulas, tables and figures.
\ No newline at end of file
diff --git a/binder/postBuild b/binder/postBuild
index 39db994..8f9ad94 100755
--- a/binder/postBuild
+++ b/binder/postBuild
@@ -13,8 +13,8 @@ then
 	# (Note: doesn't work for past snapshot versions.)
 	DOWNLOAD_URL="https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/${JAR_NAME}?job=test"
 else
-	# Release version - download from www3.
-	DOWNLOAD_URL="https://www3.hhu.de/stups/downloads/prob2-jupyter/${JAR_NAME}"
+	# Release version - download from regular server.
+	DOWNLOAD_URL="https://stups.hhu-hosting.de/downloads/prob2-jupyter/${JAR_NAME}"
 fi
 
 wget --output-document="${JAR_NAME}" "${DOWNLOAD_URL}"
diff --git a/info4/kapitel-0/Logik.ipynb b/info4/kapitel-0/Logik.ipynb
index 4b4978f..063c123 100644
--- a/info4/kapitel-0/Logik.ipynb
+++ b/info4/kapitel-0/Logik.ipynb
@@ -54,12 +54,12 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "## [ProB](https://www3.hhu.de/stups/prob) Kernel\n",
+    "## [ProB](https://prob.hhu.de/w/) Kernel\n",
     "\n",
     "\n",
     "![ProB](img/prob_logo.png)\n",
     "\n",
-    "* [ProB](https://www3.hhu.de/stups/prob) ist ein Werkzeug zur Animation, Verifikation und Visualisierung formaler Spezifikationen\n",
+    "* [ProB](https://prob.hhu.de/w/) ist ein Werkzeug zur Animation, Verifikation und Visualisierung formaler Spezifikationen\n",
     "* Unterstützt B-Spezifikationen für sicherheitskritsche Anwendungen\n",
     "* Entwicklung am STUPS Lehrstuhl\n",
     "* Grundlage: Solver für Prädikatenlogik, Mengentheorie mit Relationen, Funktionen und Arithmetik.\n",
diff --git a/info4/kapitel-0/Mengentheorie.ipynb b/info4/kapitel-0/Mengentheorie.ipynb
index 327f709..1adf4a0 100644
--- a/info4/kapitel-0/Mengentheorie.ipynb
+++ b/info4/kapitel-0/Mengentheorie.ipynb
@@ -15,7 +15,7 @@
     "Hier definieren wir einige Grundlagen und Notationen die im Skript verwendet werden.\n",
     "Ein gutes Verständnis dieser Grundlagen und Notationen ist für das Verständnis des Skripts, aber auch anderer Teile der Informatik unumgänglich.\n",
     "\n",
-    "Auswertung der Formeln erfolgt mit dem [Jupyter Kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel) für [ProB](https://www3.hhu.de/stups/prob)\n",
+    "Auswertung der Formeln erfolgt mit dem [Jupyter Kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel) für [ProB](https://prob.hhu.de/w/)\n",
     "\n",
     "\n",
     "Um dieses Notebook zu starten kann man entweder selber Jupyter und den [ProB Kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel) installieren.\n",
-- 
GitLab