Difference between pages "Template:Class" and "Template:Main Page/Community"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Laurent
 
imported>WikiSysop
 
Line 1: Line 1:
 
<noinclude>
 
<noinclude>
==Usage==
+
== Displayed as follow on the Main Page ==
Template use to typeset a class name.
+
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
==Example==
+
</noinclude>
Variable  {{class|IHistory}} provide history management.
+
[[Dagstuhl Seminar 2009|Industry Challenges identifed at Dagstuhl refinement seminar 2009]]
[[Category:Typesetting templates]]
+
 
==Template==
+
[[Mailing lists]] - Rodin related mailing lists
</noinclude><!--
+
 
--><span class="typeset-class" style="font-family:monospace">{{{1}}}</span>
+
[[Rodin Platform Releases]] - Track releases.
 +
 
 +
[[Plug-in_Wishlist|Plug-in Wishlist]]
 +
 
 +
[[DEPLOY_Plenary_Workshop_2009|DEPLOY Plenary Meeting 2009]] - Call for Papers
 +
 
 +
[[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:
 +
 
 +
[[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>

Revision as of 13:18, 3 November 2009

Displayed as follow on the Main Page

Industry Challenges identifed at Dagstuhl refinement seminar 2009

Mailing lists - Rodin related mailing lists

Rodin Platform Releases - Track releases.

Plug-in Wishlist

DEPLOY Plenary Meeting 2009 - Call for Papers

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.