Bugs and Feature Requests
From Event-B
Revision as of 15:26, 16 November 2009 by imported>Mathieu (category + See also How to contribute)
Please, use the SourceForge trackers to report a bug on existing features, or to request new features:
See also "How To Contribute"