|
|
| Line 5: |
Line 5: |
| *[[Prolog Coding Guidelines]] | | *[[Prolog Coding Guidelines]] |
| *[http://www.stups.uni-duesseldorf.de/ProB/developer_tutorial Tutorial: Extending ProB] | | *[http://www.stups.uni-duesseldorf.de/ProB/developer_tutorial Tutorial: Extending ProB] |
|
| |
|
| |
| == ProB 2.0 ==
| |
| *[[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]]
| |