ProB Java API: Difference between revisions

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/current/devel/html/ Developer Manual]
      <i class="fa fa-cog"></i> [https://www3.hhu.de/stups/handbook/prob2/handbook.html Developer Manual]
                     </p>
                     </p>



Revision as of 18:31, 14 February 2018