| Line 7: | Line 7: | ||
</p> | </p> | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="fa fa-cog"></i> [https://www3.hhu.de/stups/handbook/prob2/ | <i class="fa fa-cog"></i> [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2-java-api Developer Manual] | ||
</p> | </p> | ||
Nightly builds of ProB 2 for Rodin 3 can be obtained from within Rodin using the update site http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/.