Rodin 3.7 RC1 is published

Dear All,

We have published a first release candidate of Rodin 3.7. This release is based on the latest Eclipse 2021-12 (4.22) and contains numerous bug fixes.

https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7-RC1/

We are interested in getting as much feedback as possible, especially about bugs or usage issues, before publishing the final release. Please do not hesitate to report anything that looks strange to you.

Caution: This is a release candidate. This means that it has not been extensively tested and may contain many bugs, some being nasty. Please do not use it for anything important.

Rodin will work on macOS, Linux and Windows 64-bit computers. You need to have a 64-bit Java JRE (version 11 or later) installed on your computer to run Rodin.

macOS caveats

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command "xattr -rc Rodin.app" in a Terminal to remove the quarantine tag.

Note: If you open an existing workspace (set of projects) with this release, this workspace will not work anymore with prior releases of Rodin. We encourage you to duplicate your workspace to avoid any issue.

Best Regards,
Idir.