Template:News: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Pascal
imported>Im06r
No edit summary
Line 4: Line 4:
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
</noinclude><!--- News to add here below : ==== --->
</noinclude><!--- News to add here below : ==== --->
* 01/12/09: [http://wiki.event-b.org/index.php/Rule-based_Prover_Plug-in Rule-based Prover v0.0.1] released
* 20/10/09: [https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.1/ Rodin platform 1.1.0] released
* 20/10/09: [https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.1/ Rodin platform 1.1.0] released
* 10/10/09: New [[Flows]] and [[Modularisation Plug-in|Modularisation]] plug-in pages
* 10/10/09: New [[Flows]] and [[Modularisation Plug-in|Modularisation]] plug-in pages

Revision as of 15:48, 1 December 2009

Edit Archives

Displayed as follow on the Main Page