No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
[[Category:ProB Java API]] | [[Category:ProB Java API]] | ||
== Documentation == | |||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="fa fa-road"></i> [[ProB Java API Tutorial | Tutorial]] | <i class="fa fa-road"></i> [[ProB Java API Tutorial | Tutorial]] | ||
| Line 8: | Line 9: | ||
<i class="fa fa-cog"></i> [[ProB Java API Developer Manual | Developer Manual]] | <i class="fa fa-cog"></i> [[ProB Java API Developer Manual | Developer Manual]] | ||
</p> | </p> | ||
== Additional Material == | |||
*[[ProB 2.0 Development]] | |||
*[[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) | |||
*[[ProB 2.0 Tutorial]] | |||
*[[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]] | |||