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

Assuming you have all necessary dependencies installed (see below), run:

The documentation will be built in HTML and PDF format and output into the build directory.

The build requires Asciidoctor with the BibTeX, diagram, and PDF extensions. These dependencies are available in most package managers and as a Docker image asciidoctor/docker-asciidoctor.

You can also use an existing Ruby installation and Bundler to install the dependencies:

Then use bundle exec make to run the build.