Difference between revisions of "Template:News"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (→‎Displayed as follow on the Main Page: Rodin is registered as a GSoC applicant)
m (add UML-B website)
 
(28 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 : ==== --->
−
* 13/09/09: Rodin [http://socghop.appspot.com/org_app/show/google/gsoc2009/rodin registered] as a [[Google Summer of Code 2009|GSoC]] applicant
+
* 30/09/20: New [https://www.uml-b.org UML-B] website - getting started with UML-B - current research and collaborations
−
* 11/09/09: Everybody can now [[Special:Userlogin|create its own account]] and edit this wiki
+
* 31/05/13: New [http://www.youtube.com/watch?v=fSWZWXx5ixc Event-B video] on the Event-B & Rodin youtube channel
−
* 09/09/09: New page for Rodin application to [[Google Summer of Code 2009|GSoC 2009]]
+
* 28/03/13: New [https://www.youtube.com/EventBtv UML-B video] on the Event-B & Rodin youtube channel
−
* 06/09/09: New page about [[Auto-Completion Design]]
 
−
* 03/03/09: [[Feature Composition Plug-in|New page and documentation]] about Composition Plug-in
 
−
* 03/03/09: [[Event-B Indexers|New]] and [[Index Query|updated page]] about indexing
 
−
* 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])
 
−
* 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
Retrieved from ‘https://wiki.event-b.org/index.php?title=Template:News&oldid=14395’