Difference between revisions of "ProB Java API"

(Additional Material)
(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> [http://nightly.cobra.cs.uni-duesseldorf.de/prob2/prob2-handbook/nightly/devel/html Developer Manual]
+
      <i class="fa fa-cog"></i> [https://www3.hhu.de/stups/handbook/prob2/current/devel/html/ Developer Manual]
 
                     </p>
 
                     </p>
  

Revision as of 03:52, 13 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/.