Rodin 3.6 RC1 is published

Dear All,

We have published a first release candidate of Rodin 3.6. This release is based on the latest Eclipse 2020-12 and contains numerous bug fixes.

https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6-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.

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.

This release would not have happened without the support from the Event-B Rodin Plus project funded by the French National Research Agency (ANR).

Best Regards,
Idir.