Difference between revisions of "How To Contribute"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (How to report a bug or a suggestion) |
imported>Mathieu m (→How do I get current source code: sourceforge CVS) |
||
| Line 1: | Line 1: | ||
| + | == How do I get current source code == | ||
| + | {{TODO|add detail explanation for eclipse}} | ||
| − | + | You may get the whole [[Rodin Platform]] and most of associated [[Plugins]] 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 do I propose a patch == | == How do I propose a patch == | ||
Revision as of 13:52, 30 September 2008
How do I get current source code
TODO: add detail explanation for eclipse
You may get the whole Rodin Platform and most of associated Plugins 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 do I propose a patch
TODO
How do I report a bug or a suggestion
You may use sourceforge bug and feature tracker. Please verify that your bug has not been reported before submitting it.
