Difference between revisions of "How To Contribute"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (→‎How do I report a bug or a feature request?: .metadata/.log under workspace)
imported>Mathieu
m (What are the main community channels?)
Line 1: Line 1:
 +
{{TOCright}}
 +
 +
 +
== What are the main community channels? ==
 +
Beside the [[Mailing lists|mailing lists]], you may want to follow:
 +
* the [http://cia.vc/stats/project/rodin-b-sharp  commit RSS feed] on [http://cia.vc cia.vc],
 +
* one of the [https://sourceforge.net/export/rss2_project.php?group_id=108850 sourceforge RSS feed],
 +
* the [[Main Page]] of this very site.
 +
 +
The [[EB:VP|Village Pump]] may also be useful for everything which is more or less wiki related.
 +
 
== How do I get current source code? ==
 
== How do I get current source code? ==
 
{{TODO|add detail explanation for eclipse}}
 
{{TODO|add detail explanation for eclipse}}

Revision as of 21:55, 3 March 2009


What are the main community channels?

Beside the mailing lists, you may want to follow:

The Village Pump may also be useful for everything which is more or less wiki related.

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/

.