Difference between revisions of "How To Contribute"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (How can I access or create Rodin elements like projects, components or proofs?)
imported>Jrloria
(content merged into Developer FAQ)
 
(19 intermediate revisions by 4 users not shown)
Line 1: Line 1:
== How do I get current source code? ==
+
#REDIRECT [[Developer FAQ]]
{{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 [http://sourceforge.net/cvs/?group_id=108850 sourceforge].
 
For anonymous user, use a ''pserver'' path specification: <tt>:pserver:anonymous@rodin-b-sharp.cvs.sourceforge.net:/cvsroot/rodin-b-sharp</tt> (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? ==
 
{{TODO}}
 
 
 
== 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.
 
 
 
 
 
[[Category:Developer documentation]]
 

Latest revision as of 09:51, 18 May 2010

Redirect to: