Difference between revisions of "Template:Dev News"

From Event-B
Jump to navigationJump to search
imported>Nicolas
(12 intermediate revisions by 5 users not shown)
Line 7: Line 7:
 
{| border="0"
 
{| border="0"
 
|-
 
|-
|<p style="font-size:35px">Rodin 3.0 out now !!! </p><!--[[Image:Rodin30outnow.png|left]]-->
+
|<p style="font-size:35px">Rodin 3.5 is out&nbsp;&nbsp;&nbsp;</p>
||<p style="font-size:25px">[[Rodin Platform 3.0 Release Notes | +Learn more... ]]</p>
+
||<p style="font-size:25px">[[Rodin Platform 3.5 Release Notes | +Learn more... ]]</p>
   <p style="font-size:25px">[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Download now]</p>
+
   <p style="font-size:25px">[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Download now]</p>
 
|-
 
|-
 
|}
 
|}
* 25/03/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Release 3.0] of Rodin is now available
+
* 11/09/20 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Release 3.5] of Rodin is now available [[Rodin Platform 3.5 Release Notes | +Learn more]]
 +
* 07/03/18 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.4/ Release 3.4] of Rodin is now available [[Rodin Platform 3.4 Release Notes | +Learn more]]
 +
* 13/04/17 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.3/ Release 3.3] of Rodin is now available [[Rodin Platform 3.3 Release Notes | +Learn more]]
 +
* 22/06/15 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.2/ Release 3.2] of Rodin is now available [[Rodin Platform 3.2 Release Notes | +Learn more]]
 +
* 17/12/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.1/ Release 3.1] of Rodin is now available [[Rodin Platform 3.1 Release Notes | +Learn more]]
 +
* 25/03/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Release 3.0] of Rodin is now available [[Rodin_Platform_3.0_Release_Notes | +Learn more]]
 
* 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 15:34, 11 September 2020

Edit Archives

Displayed as follow on the Main Page

Rodin 3.5 is out   

+Learn more...

Download now