Difference between revisions of "How To Contribute"

From Event-B
Jump to navigationJump to search
imported>Mathieu
imported>Jrloria
(content merged into Developer FAQ)
 
(11 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{TOCright}}
+
#REDIRECT [[Developer FAQ]]
 
 
 
 
== What are the main community channels? ==
 
Beside the [[Mailing lists|mailing lists]], you may want to follow:
 
* the ''#rodin'' channel on irc://irc.freenode.net
 
* 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? ==
 
{{TODO|add detail explanation for eclipse}}
 
 
 
You may get the whole [[Rodin Platform]] and most of associated [[Rodin Plug-ins]] from Subversion on SourceForge using URL [https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp  https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp].
 
 
 
The repository was formerly CVS which is still available read-only.  It is not possible to commit to the CVS repository anymore.  More information is available in the [[Switch from CVS to Subversion]] page.
 
 
 
== 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 to submit patches]].
 
 
 
== 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 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 workspace (generally {{file|runtime-Rodin.product/}}.
 
 
 
[[Category:Developer documentation]]
 
[[Category:User documentation]]
 

Latest revision as of 09:51, 18 May 2010

Redirect to: