How To Contribute

How do I get current source code

TODO: add detail explanation for eclipse

You may get the whole Rodin Platform and most of associated Plugins from CVS as explained on [sourceforge]. For anonymous user, use a pserver path specification: :pserver:anonymous@rodin-b-sharp.cvs.sourceforge.net:/cvsroot/rodin-b-sharp (with an empty password).

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.