Subject: Rodin-b-sharp-user Digest, Vol 136, Issue 3
From: [email-masked]
To: [email-masked]
Date: Wed, 26 May 2021 14:14:25 +0000

Send Rodin-b-sharp-user mailing list submissions to
	[email-masked]

To subscribe or unsubscribe via the World Wide Web, visit
	https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user
or, via email, send a message with subject or body 'help' to
	[email-masked]

You can reach the person managing the list at
	[email-masked]

When replying, please edit your Subject line so it is more specific
than "Re: Contents of Rodin-b-sharp-user digest..."

Today's Topics:

   1. Rodin 3.6 is available (Idir AIT SADOUNE)

----------------------------------------------------------------------

Message: 1
Date: Tue, 25 May 2021 17:44:06 +0200
From: Idir AIT SADOUNE <[email-masked]>
To: [email-masked],
	[email-masked]
Cc: Idir AIT SADOUNE <[email-masked]>,
	[email-masked]
Subject: [Rodin-b-sharp-user] Rodin 3.6 is available
Message-ID: <[email-masked]>
Content-Type: text/plain; charset="us-ascii"

Dear All,

I am glad to announce that Rodin 3.6 is available. You can either install it from SourceForge (https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/) or use the update mechanism of Eclipse.
Rodin 3.6 brings several bug fixes. It also upgrades the underlying Eclipse to 2020-12 (4.18), which can be run by Java 11 Runtimes.
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.

Important information
----
Please read the Rodin Platform release notes before proceeding with an upgrade.

See https://wiki.event-b.org/index.php/Rodin_Platform_3.6_Release_Notes

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.
---
Idir AIT SADOUNE
Associate Professor 

CentraleSupelec - Computer Science Department
LMF - Formal Methods Laboratory  
Paris-Saclay University
wdi.centralesupelec.fr/aitsadoune/ <https://wdi.centralesupelec.fr/aitsadoune/>
+33/0 1 69 85 14 88 

-------------- next part --------------
An HTML attachment was scrubbed...

------------------------------

------------------------------

Subject: Digest Footer

_______________________________________________
Rodin-b-sharp-user mailing list
[email-masked]
https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user

------------------------------

End of Rodin-b-sharp-user Digest, Vol 136, Issue 3
**************************************************