Template:News: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Renato
m add UML-B website
 
(41 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/12/08: Pages related to  [[Indexing System|indexing]] topic (see also [[Extending the Index Manager‎|[1]]] & [[Rodin Index Design|[2]]])
* 30/09/20: New [https://www.uml-b.org UML-B] website - getting started with UML-B - current research and collaborations
* 11/12/08: [[EMF framework for Rodin]] proposal
* 31/05/13: New [http://www.youtube.com/watch?v=fSWZWXx5ixc Event-B video] on the Event-B & Rodin youtube channel
* 10/12/08: [[Purging Unused Proofs|Proof Purger]] documentation and [[Proof Purger|design]]
* 28/03/13: New [https://www.youtube.com/EventBtv UML-B video] on the Event-B & Rodin youtube channel
* 11/11/08: Update of [[Current Developments]] ([[Parallel Composition using Event-B|// composition]])
* 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]).
 
<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