No edit summary |
m (Update ProB2-UI link) |
||
| (17 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
[[Category:Components]] | [[Category:Components]] | ||
[[Category:ProB Java API]] | |||
== Documentation == | |||
* [[ProB Java API Tutorial|Tutorial]] | |||
* [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2-java-api Developer Manual] | |||
== Additional Material == | |||
*[[ProB 2.0 Development]] | |||
*[https://github.com/bendisposto/prob2_tooling_template ProB 2.0 Tooling Template] | |||
*[[Programmatic_Abstractions_in_the_ProB_2.0_API]] | |||
*[https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] <br/>(if you want to comment on the Document, please use goo.gl/KS2bh) | |||
*[[Media:Extending prob.pdf|Rodin User and Developer Workshop 2012 - Tutorial Presentation]] | |||
*[[Tutorial13|Rodin User and Developer Workshop 2013 - Tutorial]] | |||
*[[ProB 2.0 within Rodin and a HTML Visualization Example]] | |||
== 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/ 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. | |||
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.