Difference between revisions of "Template:News"

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