Talk:Rodin Platform

From Event-B
Jump to navigationJump to search

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)