Difference between revisions of "How To Contribute"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (What are the main community channels?)
imported>Laurent
Line 13: Line 13:
 
{{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 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].
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).
+
 
 +
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? ==
 
== How can I access or create Rodin elements like projects, components or proofs? ==

Revision as of 19:06, 13 March 2009


What are the main community channels?

Beside the mailing lists, you may want to follow:

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 Subversion on SourceForge using URL 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 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

.metadata/.log

under the rodin workspace (generally

runtime-Rodin.product/

.