Difference between revisions of "Rodin 64 bit"
From Event-B
Jump to navigationJump to search| (One intermediate revision by the same user not shown) | |||
| Line 5: | Line 5: | ||
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.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/
