No edit summary |
|||
(7 intermediate revisions by 3 users not shown) | |||
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> [ | <i class="fa fa-cog"></i> [https://www3.hhu.de/stups/handbook/prob2/handbook.html Developer Manual] | ||
</p> | </p> | ||
== Additional Material == | == Additional Material == | ||
*[[ProB 2.0 Development]] | *[[ProB 2.0 Development]] | ||
*[https://github.com/bendisposto/prob2_tooling_template ProB 2.0 Tooling Template] | |||
*[[Programmatic_Abstractions_in_the_ProB_2.0_API]] | *[[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) | *[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) | ||
Line 22: | Line 21: | ||
*[[ProB 2.0 within Rodin and a HTML Visualization Example]] | *[[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/]. |
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/.