Difference between revisions of "Template:Dev News"

From Event-B
Jump to navigationJump to search
(Theory plug-in release 4.0.4)
Line 8: Line 8:
 
|-
 
|-
 
|<p style="font-size:35px">Rodin 3.6 is out&nbsp;&nbsp;&nbsp;</p>
 
|<p style="font-size:35px">Rodin 3.6 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.7 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.7/ Download now]</p>
 
|-
 
|-
 
|}
 
|}
 +
* 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
 
* 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
 
* 14/01/22 : [[SMT_Solvers_Plug-in]] SMT Solvers 1.5 is now available

Revision as of 11:34, 28 April 2022

Edit Archives

Displayed as follow on the Main Page

Rodin 3.6 is out   

+Learn more...

Download now

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