Rodin 64 bit: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy mNo edit summary |
imported>Nicolas No edit summary |
||
| 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. | http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.4/ | ||
Revision as of 18:22, 20 February 2018
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.4/
