ProB Java API: Difference between revisions

m (Update ProB2-UI link)
 
(4 intermediate revisions by 3 users not shown)
Line 3: Line 3:


== Documentation ==
== Documentation ==
                    <p class="btn btn-lg btn-outline">
* [[ProB Java API Tutorial|Tutorial]]
      <i class="fa fa-road"></i> [[ProB Java API Tutorial | Tutorial]]
* [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2-java-api Developer Manual]
                    </p>
                    <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]
                    </p>


== Additional Material ==
== Additional Material ==
Line 25: Line 21:


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/ http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/].
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/ http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/].
This version of ProB is deprecated. We recommend that you either use the standard plugin for Rodin (which still uses the old Java API) or use the new [[ProB2-UI]] based on JavaFX which can also directly load machines from Rodin workspaces.

Latest revision as of 11:04, 18 May 2021


Documentation

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/. This version of ProB is deprecated. We recommend that you either use the standard plugin for Rodin (which still uses the old Java API) or use the new ProB2-UI based on JavaFX which can also directly load machines from Rodin workspaces.