|
|
| (12 intermediate revisions by 4 users not shown) |
| Line 1: |
Line 1: |
| {{TOCright}}
| | #REDIRECT [[Developer FAQ]] |
| | |
| | |
| == What are the main community channels? ==
| |
| Beside the [[Mailing lists|mailing lists]], you may want to follow:
| |
| * the ''#rodin'' channel on irc://irc.freenode.fr
| |
| * the [http://cia.vc/stats/project/rodin-b-sharp commit RSS feed] on [http://cia.vc cia.vc],
| |
| * one of the [https://sourceforge.net/export/rss2_project.php?group_id=108850 sourceforge RSS feed],
| |
| * the [[Main Page]] of this very site.
| |
| | |
| The [[EB:VP|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 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 to submit patches]].
| |
| | |
| == 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 already been reported before submitting it.
| |
| | |
| You may want to submit a partial or full log which you can find in the following file {{file|.metadata/.log}} under the rodin workspace (generally {{file|runtime-Rodin.product/}}.
| |
| | |
| [[Category:Developer documentation]]
| |
| [[Category:User documentation]]
| |
