Template:Dev News: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Nicolas
Rodin 3.1
imported>Colin
Line 15: Line 15:
* 25/03/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Release 3.0] of Rodin is now available
* 25/03/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Release 3.0] of Rodin is now available
* 18/10/13 : [[SMT_Solvers_Plug-in]] SMT 1.1 is now available
* 18/10/13 : [[SMT_Solvers_Plug-in]] SMT 1.1 is now available
* 20/06/13 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.8/ Release 2.8] of Rodin is now available
* 20/06/13 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.8/ Release 2.8] of Rodin is now available [[Rodin_Platform_2.8_Release_Notes | Learn more]]
* 03/06/13 : [[SMT_Solvers_Plug-in]] SMT 1.0 is now available
* 03/06/13 : [[SMT_Solvers_Plug-in]] SMT 1.0 is now available
* 06/11/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.7/ Release 2.7] of Rodin is now available
* 06/11/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.7/ Release 2.7] of Rodin is now available

Revision as of 08:13, 22 December 2014

Edit Archives

Displayed as follow on the Main Page

Rodin 3.1 out now !!!

+Learn more...

Download now