|
|
| (15 intermediate revisions by 4 users not shown) |
| Line 1: |
Line 1: |
| == How do I get current source code? ==
| | #REDIRECT [[Developer FAQ]] |
| {{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].
| |
| 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 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]]
| |
