Difference between revisions of "Rodin 64 bit"

From Event-B
Jump to navigationJump to search
imported>Nicolas
(New page: Since release 2.4, Rodin is available for 64 bit platforms (Windows, Linux, Mac). Check the latest download: http://sourceforge.net/projects/rodin-b-...)
 
imported>Nicolas
m (2.8)
Line 3: Line 3:
 
Check the latest download:
 
Check the latest download:
  
http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.4/
+
http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.8/

Revision as of 16:56, 20 June 2013

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

Check the latest download:

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