Difference between revisions of "How To Contribute"

From Event-B
Jump to navigationJump to search
imported>Mathieu
imported>Mathieu
Line 13: Line 13:
  
 
== How do I report a bug or a feature request? ==
 
== How do I report a bug or a feature request? ==
You may use sourceforge [http://sourceforge.net/tracker2/?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/tracker2/?group_id=108850&atid=651669 bug and feature tracker]. Please verify that your bug has not already been reported before submitting it.
  
  
 
[[Category:Developer documentation]]
 
[[Category:Developer documentation]]

Revision as of 10:33, 10 November 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 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.