Repository for the ProB 2.0 Developer and User Handbook.

• The handbook is located at https://www3.hhu.de/stups/handbook/prob2/prob_developer.html

• A PDF is available from https://www3.hhu.de/stups/handbook/prob2/prob_developer.pdf