Template:News: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m Update of Current Developments (// composition & Refactoring * 02/11/08: Release of [http://sourceforge.net/project/showfiles.php?g
m add UML-B website
 
(44 intermediate revisions by 9 users not shown)
Line 1: Line 1:
<noinclude>
<noinclude>
[http://wiki.event-b.org/index.php?title=Template:News/Archives&action=edit Edit Archives]
== Displayed as follow on the Main Page ==
== Displayed as follow on the Main Page ==
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
</noinclude><!--- News to add here below : ==== --->
</noinclude><!--- News to add here below : ==== --->
* 11/11/08: Update of [[Current Developments]] ([[Parallel Composition using Event-B|// composition]] & [[Refactoring Framework|Refactoring]]
* 30/09/20: New [https://www.uml-b.org UML-B] website - getting started with UML-B - current research and collaborations
* 02/11/08: Release of [http://sourceforge.net/project/showfiles.php?group_id=108850&package_id=181714 Rodin platform 0.9] ([http://sourceforge.net/project/shownotes.php?release_id=637734&group_id=108850 changelog]).
* 31/05/13: New [http://www.youtube.com/watch?v=fSWZWXx5ixc Event-B video] on the Event-B & Rodin youtube channel
* 28/10/08: Developer documentation on [[How to read Rodin projects and elements programmatically|accessing projects and elements]].
* 28/03/13: New [https://www.youtube.com/EventBtv UML-B video] on the Event-B & Rodin youtube channel
* 28/10/08: Developer documentation for [[Accessing Proof Obligations|accessing proof obligations]].
<noinclude>
<noinclude>
</div>
</div>
[[Category:Main page templates]]
[[Category:Main page templates]]
</noinclude>
</noinclude>

Latest revision as of 22:03, 30 September 2020

Edit Archives

Displayed as follow on the Main Page

  • 30/09/20: New UML-B website - getting started with UML-B - current research and collaborations
  • 31/05/13: New Event-B video on the Event-B & Rodin youtube channel
  • 28/03/13: New UML-B video on the Event-B & Rodin youtube channel