Difference between revisions of "Template:Dev News"

From Event-B
Jump to navigationJump to search
(Theory plug-in release 4.0.3)
 
(4 intermediate revisions by 2 users not shown)
Line 7: Line 7:
 
{| border="0"
 
{| border="0"
 
|-
 
|-
−
|<p style="font-size:35px">Rodin 3.6 is out&nbsp;&nbsp;&nbsp;</p>
+
|<p style="font-size:35px">Rodin 3.8 is out&nbsp;&nbsp;&nbsp;</p>
−
||<p style="font-size:25px">[[Rodin Platform 3.6 Release Notes | +Learn more... ]]</p>
+
||<p style="font-size:25px">[[Rodin Platform 3.8 Release Notes | +Learn more... ]]</p>
−
   <p style="font-size:25px">[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download now]</p>
+
   <p style="font-size:25px">[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.8/ Download now]</p>
 
|-
 
|-
 
|}
 
|}
 +
* 03/04/23 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.8/ Release 3.8] of Rodin is now available [[Rodin Platform 3.8 Release Notes | +Learn more]]
 +
* 25/04/22 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/ Release 3.7] of Rodin is now available [[Rodin Platform 3.7 Release Notes | +Learn more]]
 +
* 01/04/22 : [[Theory_Plug-in]] Theory 4.0.4 is now available
 +
* 14/01/22 : [[SMT_Solvers_Plug-in]] SMT Solvers 1.5 is now available
 
* 29/09/21 : [[Theory_Plug-in]] Theory 4.0.3 is now available
 
* 29/09/21 : [[Theory_Plug-in]] Theory 4.0.3 is now available
 
* 04/06/21 : [[Theory_Plug-in]] Theory 4.0.2 is now available
 
* 04/06/21 : [[Theory_Plug-in]] Theory 4.0.2 is now available

Latest revision as of 06:40, 4 April 2023

Edit Archives

Displayed as follow on the Main Page

Rodin 3.8 is out   

+Learn more...

Download now

Retrieved from ‘https://wiki.event-b.org/index.php?title=Template:Dev_News&oldid=14516’