Template:News: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m Developer documentation for accessing proof obligation.
m add UML-B website
 
(47 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 : ==== --->
* 28/10/2008: Developer documentation for [[Accessing Proof Obligations|accessing proof obligations]].
* 30/09/20: New [https://www.uml-b.org UML-B] website - getting started with UML-B - current research and collaborations
* 14/10/2008: A [[WP6-Telco-Oct-2008|Requirements-Telco]] is currently being organized.
* 31/05/13: New [http://www.youtube.com/watch?v=fSWZWXx5ixc Event-B video] on the Event-B & Rodin youtube channel
* 03/10/2008: Page about [[Scenarios for Merging Proofs|merging proof]] created. [[Single View Design|Single view]] updated.
* 28/03/13: New [https://www.youtube.com/EventBtv UML-B video] on the Event-B & Rodin youtube channel
* 29/09/2008: [[Scenarios for Team-based Development‎]] created. Talk page populated.
<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