Difference between revisions of "How To Contribute"
From Event-B
Jump to navigationJump to searchimported>Mathieu |
imported>Mathieu m (How can I access or create Rodin elements like projects, components or proofs?) |
||
| Line 1: | Line 1: | ||
| − | == 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}} | ||
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]. | 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). | + | 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 do I propose a patch == | + | == 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}} | {{TODO}} | ||
| − | == 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/ | + | 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]] | [[Category:Developer documentation]] | ||
Revision as of 13:51, 30 October 2008
Contents
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?
TODO
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 been reported before submitting it.
