No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
*[[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]] | *[[ProB 2.0 Development]] | ||
*[[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) | ||
*[[ProB 2.0 Tutorial]] | |||
*[[Media:Extending prob.pdf|Rodin User and Developer Workshop 2012 - Tutorial Presentation]] | *[[Media:Extending prob.pdf|Rodin User and Developer Workshop 2012 - Tutorial Presentation]] | ||