Talk:Rodin Platform
From Event-B
Request for Categorization
Please, could you categorize this page by adding the following wiki code at the end of the text :
[[Category:User Documentation]] [[Category:Rodin Platform]]
Thank you Mathieu 12:05, 10 July 2008 (BST)