From 833dab8f4e3364a836913a593d4822c6a23a6455 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Mon, 8 Apr 2024 16:29:02 +0200 Subject: [PATCH] Remove old reference to user handbook The user and developer handbooks have been merged since 2019: 80974e045e057b6adc0306fa39108b0a2dd8f155 --- src/docs/asciidoc/chapter/Java_API/01_introduction.adoc | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/docs/asciidoc/chapter/Java_API/01_introduction.adoc b/src/docs/asciidoc/chapter/Java_API/01_introduction.adoc index 0e99321..2d8dbea 100644 --- a/src/docs/asciidoc/chapter/Java_API/01_introduction.adoc +++ b/src/docs/asciidoc/chapter/Java_API/01_introduction.adoc @@ -4,9 +4,7 @@ For developers who want to build specialized tools on top of ProB, we have prepared comprehensive documentation of the ProB Java API together -with a template that enables a quick start. The documentation is -available in https://www3.hhu.de/stups/handbook/prob2/prob_user_manual.html[the user manual], -the template is located at https://github.com/bendisposto/prob2_tooling_template. +with https://github.com/bendisposto/prob2_tooling_template[a template] that enables a quick start. == Acknowledgements -- GitLab