Difference between revisions of "How To Contribute"
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 commit RSS feed on cia.vc,
- one of the sourceforge RSS feed,
- the Main Page of this very site.
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
under the rodin workspace (generally
.