Template:Dev News: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy |
imported>Tommy |
||
| Line 21: | Line 21: | ||
* 13/07/11 : [[Rodin_Editor | Rodin Editor]] plug-in released for Rodin 2.2.x | * 13/07/11 : [[Rodin_Editor | Rodin Editor]] plug-in released for Rodin 2.2.x | ||
* 01/06/11 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/ Release 2.2] of Rodin is now available | * 01/06/11 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/ Release 2.2] of Rodin is now available | ||
<!-- | |||
* 08/02/11 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.1/ Release 2.1] of Rodin is now available | * 08/02/11 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.1/ Release 2.1] of Rodin is now available | ||
* 16/11/10 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.0.1/ Release 2.0.1] of Rodin is now available | * 16/11/10 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.0.1/ Release 2.0.1] of Rodin is now available | ||
| Line 27: | Line 28: | ||
* 08/06/10 : UML-B Version 1.1.0 released (for Rodin 1.3) | * 08/06/10 : UML-B Version 1.1.0 released (for Rodin 1.3) | ||
* 03/02/10 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/1.2/ Release 1.2.0] of Rodin is now available | * 03/02/10 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/1.2/ Release 1.2.0] of Rodin is now available | ||
* 29/11/09 : B2Latex 0.5.1 is now available for Rodin 0.9.2 or later | * 29/11/09 : B2Latex 0.5.1 is now available for Rodin 0.9.2 or later | ||
* 20/10/09 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/1.1/ Release 1.1.0] of Rodin is now available | * 20/10/09 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/1.1/ Release 1.1.0] of Rodin is now available | ||
Revision as of 13:04, 30 May 2013
Displayed as follow on the Main Page
 |
- 06/11/12 : Release 2.7 of Rodin is now available
- 03/08/12 : Release 2.6 of Rodin is now available
- 02/05/12 : Release 2.5 of Rodin is now available
- 03/02/12 : Release 2.4 of Rodin is now available
- 01/12/11 : Rodin Editor plug-in v0.6 released for Rodin 2.3
- 04/10/11 : Release 2.3 of Rodin is now available
- 01/08/11 : Release 2.2.2 of Rodin is now available
- 13/07/11 : Rodin Editor plug-in released for Rodin 2.2.x
- 01/06/11 : Release 2.2 of Rodin is now available
