Difference between revisions of "Template:Dev News"

From Event-B
Jump to navigationJump to search
imported>Tommy
imported>Nicolas
Line 12: Line 12:
 
|-
 
|-
 
|}
 
|}
 +
* 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
 
* 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

Revision as of 10:00, 18 October 2013

Edit Archives

Displayed as follow on the Main Page

Rodin28outnow.png

+Learn more...

Download now