How To Contribute
What are the main community channels?
Beside the mailing lists, you may want to follow:
- the #rodin channel on irc://irc.freenode.net
- the commit RSS feed on cia.vc,
- one of the sourceforge RSS feed,
- the Main Page of this very site.
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
under the rodin workspace (generally
.
