Difference between revisions of "ProB Java API"

(Documentation)
(Documentation)
 
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>
  

Latest revision as of 19:31, 14 February 2018


Documentation

Tutorial

Developer Manual

Additional Material

Download

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/.