15:1615:16, 18 January 2010diffhist+3,481 N
CSP-M Syntax
Created page with '= Details of supported CSP-M syntax = Note: you can use the command "Summary of CSP syntax" in ProB's help menu to get an up-to-date list of the supported syntax, along with cur…'