Template:News: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>WikiSysop
imported>Mathieu
m Rodin application to GSoC rejected
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:50%;border:1px solid #AAAAAA;background:#FFFFFF">
</noinclude><!--- News to add here below : ==== --->
</noinclude><!--- News to add here below : ==== --->
* 18/03/09: Rodin application to GSoC [[Google_Summer_of_Code_2009#Project_status|rejected]]
* 17/03/09: [http://www.event-b.org/rodin09.html Rodin User and Developer Workshop], 16+17 July 2009 announced  
* 17/03/09: [http://www.event-b.org/rodin09.html Rodin User and Developer Workshop], 16+17 July 2009 announced  
* 13/03/09: Rodin [http://socghop.appspot.com/org_app/show/google/gsoc2009/rodin registered] as a [[Google Summer of Code 2009|GSoC]] applicant
* 13/03/09: Rodin [http://socghop.appspot.com/org_app/show/google/gsoc2009/rodin registered] as a [[Google Summer of Code 2009|GSoC]] applicant
Line 13: Line 15:
* 12/01/08: [[Event-B Examples]] page initiated.
* 12/01/08: [[Event-B Examples]] page initiated.
* 05/01/08: [[Mailing lists]] are now operational.
* 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>

Revision as of 12:21, 19 March 2009

Edit Archives

Displayed as follow on the Main Page