Rodin 64 bit: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Nicolas
No edit summary
Idir (talk | contribs)
No edit summary
 
(6 intermediate revisions by 4 users not shown)
Line 1: Line 1:
Since [[Rodin_Platform_2.4_Release_Notes|release 2.4]], Rodin is available for 64 bit platforms (Windows, Linux, Mac).
Since [[Rodin_Platform_2.4_Release_Notes|release 2.4]], Rodin is available for 64 bit platforms (Windows, Linux, Mac).
Since [[Rodin_Platform_3.4_Release_Notes|release 3.4]], Rodin is no longer available for 32 bit platforms.


Check the latest download:
Check the latest download:


http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/
http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.8/

Latest revision as of 06:54, 4 April 2023

Since release 2.4, Rodin is available for 64 bit platforms (Windows, Linux, Mac).

Since release 3.4, Rodin is no longer available for 32 bit platforms.

Check the latest download:

http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.8/