diff --git a/README.adoc b/README.adoc index a746112c57e0cf2408f6bad076a3b29b6e69e837..2892d9fc3dd93cdd625fefba8d649e980cf49620 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 1c901d8546d067f1d32e27ca9431373841241bb1..522ecdf4fc4d20c9aeacdbc9799897840e524667 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.