How To Contribute

From Event-B
Revision as of 13:47, 30 September 2008 by imported>Mathieu (How to report a bug or a suggestion)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

How do I get current source code

TODO

How do I propose a patch

TODO

How do I report a bug or a suggestion

You may use sourceforge bug and feature tracker. Please verify that your bug has not been reported before submitting it.