How To Contribute: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu |
imported>Mathieu |
||
| Line 8: | Line 8: | ||
{{TODO}} | {{TODO}} | ||
== How do I report a bug or a | == How do I report a bug or a feature request == | ||
You may use sourceforge [http://sourceforge.net/tracker/?group_id=108850&atid=651669 bug and feature tracker]. Please verify that your bug has not been reported before submitting it. | You may use sourceforge [http://sourceforge.net/tracker/?group_id=108850&atid=651669 bug and feature tracker]. Please verify that your bug has not been reported before submitting it. | ||
[[Category:Developer documentation]] | [[Category:Developer documentation]] | ||
Revision as of 13:53, 30 September 2008
How do I get current source code
TODO: add detail explanation for eclipse
You may get the whole Rodin Platform and most of associated Rodin Plug-ins 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 feature request
You may use sourceforge bug and feature tracker. Please verify that your bug has not been reported before submitting it.
