Difference between revisions of "How To Contribute"
From Event-B
Jump to navigationJump to searchimported>Mathieu |
imported>Mathieu m (→How do I report a bug or a feature request?: .metadata/.log under workspace) |
||
| Line 15: | Line 15: | ||
You may use sourceforge [http://sourceforge.net/tracker2/?group_id=108850&atid=651669 bug and feature tracker]. Please verify that your bug has not already been reported before submitting it. | You may use sourceforge [http://sourceforge.net/tracker2/?group_id=108850&atid=651669 bug and feature tracker]. Please verify that your bug has not already been reported before submitting it. | ||
| − | You may want to submit a partial or full log which you can find in the following file {{file|.metadata/.log}} under the rodin | + | You may want to submit a partial or full log which you can find in the following file {{file|.metadata/.log}} under the rodin workspace (generally {{file|runtime-Rodin.product/}}. |
[[Category:Developer documentation]] | [[Category:Developer documentation]] | ||
[[Category:User documentation]] | [[Category:User documentation]] | ||
Revision as of 10:13, 24 February 2009
Contents
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 can I access or create Rodin elements like projects, components or proofs?
Getting Started may give you some useful directions.
How do I propose a patch?
You may find useful directions and good practises in the page describing how to submit patches.
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 already been reported before submitting it.
You may want to submit a partial or full log which you can find in the following file
.metadata/.log
under the rodin workspace (generally
runtime-Rodin.product/
.
