ProB Java API: Difference between revisions

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> [[ProB Java API Developer Manual | Developer Manual]]
      <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]]
*[http://nightly.cobra.cs.uni-duesseldorf.de/prob2/javadoc/ ProB 2.0 Core Javadoc]
*[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/].

Revision as of 18:31, 14 February 2018