Difference between revisions of "Event-B:About"
(New page: [http://www.event-b.org Event-b.org Main page])
|(3 intermediate revisions by the same user not shown)|
|Line 1:||Line 1:|
Latest revision as of 21:08, 9 July 2008
This is the documentation wiki for the Event-b.org site providing documentation for users and developers of the Rodin toolset.
If you are a user of the Rodin toolset or a plug-in developer and would like to contribute to the wiki, please contact Michael Butler email@example.com explaining briefly the nature of the material you would like to contribute.