Template:News: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m add UML-B website
 
(32 intermediate revisions by 7 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 : ==== --->
* 03/03/09: [[Feature Composition Plug-in|New page and documentation]] about Composition Plug-in
* 30/09/20: New [https://www.uml-b.org UML-B] website - getting started with UML-B - current research and collaborations
* 03/03/09: [[Event-B Indexers|New]] and [[Index Query|updated page]] about indexing
* 31/05/13: New [http://www.youtube.com/watch?v=fSWZWXx5ixc Event-B video] on the Event-B & Rodin youtube channel
* 18/02/09: [http://sourceforge.net/project/showfiles.php?group_id=108850&package_id=181714&release_id=662133 Rodin platform 0.9.2.1] released ([http://sourceforge.net/project/shownotes.php?release_id=662133&group_id=108850 changelog])
* 28/03/13: New [https://www.youtube.com/EventBtv UML-B video] on the Event-B & Rodin youtube channel
* 12/01/08: [[Event-B Examples]] page initiated.
* 05/01/08: [[Mailing lists]] are now operational.
* 11/12/08: Pages related to  [[Indexing System|indexing]] topic (see also [[Extending the Index Manager‎|[1]]] & [[Rodin Index Design|[2]]])
* 11/12/08: [[EMF framework for Event-B]] proposal
* 10/12/08: [[Proof Purger Interface|Proof Purger]] documentation and [[Proof Purger Design|design]]
<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