Developer Manual: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Restructuring}} | |||
*[[Getting Involved]] | *[[Getting Involved]] | ||
*[[Why Prolog?]] | *[[Why Prolog?]] | ||
Revision as of 09:47, 29 December 2010
|
IMPORTANT
We are currently restructuring the ProB plug-in. After completion we will fix the documentation! |