Template:Dev News: Difference between revisions

From Event-B
Jump to navigationJump to search
Guillaume (talk | contribs)
B2Latex plug-in version 0.8.0
Guillaume (talk | contribs)
Atelier B plug-in release 2.4
 
Line 12: Line 12:
|-
|-
|}
|}
* 12/11/24 : Atelier B plug-in 2.4.0 is now available
* 17/10/24 : [[B2Latex]] 0.8.0 is now available
* 17/10/24 : [[B2Latex]] 0.8.0 is now available
* 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]]
* 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]]

Latest revision as of 08:10, 12 November 2024

Edit Archives

Displayed as follow on the Main Page

Rodin 3.8 is out   

+Learn more...

Download now