From 28a93ee45621188355e97527d94c993bfdc29fee Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Mon, 8 Apr 2024 16:39:20 +0200 Subject: [PATCH] Fix a few outdated links --- README.adoc | 6 ++---- src/docs/asciidoc/prob_handbook.adoc | 4 ++-- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/README.adoc b/README.adoc index a746112..2892d9f 100644 --- a/README.adoc +++ b/README.adoc @@ -1,11 +1,9 @@ = ProB 2.0 Handbook -image:https://travis-ci.org/hhu-stups/prob2-doc.svg?branch=master["Build Status", link="https://travis-ci.org/hhu-stups/prob2-doc"] - Repository for the ProB 2.0 Handbook. -* The handbook is located at https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html -* A PDF is available from https://www3.hhu.de/stups/handbook/prob2/prob_handbook.pdf +* The handbook is located at https://stups.hhu-hosting.de/handbook/prob2/prob_handbook.html +* A PDF is available from https://stups.hhu-hosting.de/handbook/prob2/prob_handbook.pdf == Building diff --git a/src/docs/asciidoc/prob_handbook.adoc b/src/docs/asciidoc/prob_handbook.adoc index 1c901d8..522ecdf 100644 --- a/src/docs/asciidoc/prob_handbook.adoc +++ b/src/docs/asciidoc/prob_handbook.adoc @@ -15,8 +15,8 @@ Jens Bendisposto;Joy Clark;Michael Leuschel [[user-introduction]] = Introduction -ProB is a graphical animator and model checker for the B method. The ProB homepage -is at https://www3.hhu.de/stups/prob/[https://www3.hhu.de/stups/prob/], +ProB is a graphical animator and model checker for the B method. +The ProB homepage is at https://prob.hhu.de/w/, where precompiled binaries, installation instructions and documentation are available. -- GitLab