No edit summary |
No edit summary |
||
| 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 Java API (aka ProB 2.0) == | |||
The documentation for the Java API to ProB can be found [[ProB_Java_API|here]]. | |||
The documentation for the Java API to ProB can be found here.