Rodin Handbook


4.2.9 How do I send a bug report?

This depends on the nature of the bug:

  • Problems with the core Rodin platform, as well as feature requests, should be filed via the SourceForge bug tracker:

  • To file problems with individual plugins, check the plugin’s documentation in the wiki (1.1.2).

  • If you are unsure whether to file a bug or not, consider asking a question on the Rodin user list at

  • To report a problem with the handbook, use the feedback button that is present in the HTML and Eclipse Help version of the handbook.