Difference between pages "Template:L theorem" and "Template:Main Page/Community"

Revision as of 12:41, 26 August 2009

Mailing lists - Rodin related mailing lists

Rodin Workshop 2009 - Abstracts and slides from Rodin 2009 Workshop

Do not hesitate to improve this wiki. You may find some help within the following pages:

Wiki Help - Some technical documentation about this wiki.

Village Pump - Ask your questions and keep track of the main wiki events.

Recent Changes - Monitor the wiki activity.

Test Area - Wiki editing is simple. Try by yourself.

@@ Line 1: / Line 1: @@
 <noinclude>
-==Usage==
+== Displayed as follow on the Main Page ==
-Template use to typeset a thorem clause in an event-b listing.
+<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
-==Example==
+</noinclude>
+[[Mailing lists]] - Rodin related mailing lists
-{{l_machine|AntiCollide}}
+[[Rodin Platform Releases]] - Release Notes
-{{l_refines|Safety}}
-{{l_sees|Network}}
-{{l_component|Acyclic}}
-{{l_Variables|v1}}
-{{l_variable|v2}}
-{{l_invariants}}
-{{l_invariant|inv1|v2 <math>\in</math> BOOL}}
-{{l_theorems}}
-{{l_theorem|inv1|v2 <math>\in</math> BOOL}}
-{{l_end}}
-[[Category:Listing templates]]
+[[DEPLOY_Plenary_Workshop_2009|DEPLOY Plenary Meeting 2009]] - Call for Papers
-==Template==
-</noinclude><!--
+[[Rodin Workshop 2009]] - Abstracts and slides from Rodin 2009 Workshop
---><p class="typeset-l_clause" >THEOREMS</p>
+Do not hesitate to improve this wiki. You may find some help within the following pages:
+[[Help:Contents|Wiki Help]] - Some technical documentation about this wiki.
+[[EB:VP|Village Pump]] - Ask your questions and keep track of the main wiki events.
+[[Special:Recentchanges|Recent Changes]] - Monitor the wiki activity.
+[[Test area|Test Area]] - Wiki editing is simple. Try by yourself.
+<noinclude>
+</div>
+[[Category:Main page templates|Community]]
+</noinclude>