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

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m
 
imported>Pascal
 
Line 1: Line 1:
 
<noinclude>
 
<noinclude>
Template use to specify a named inference rule
+
== Displayed as follow on the Main Page ==
== Usage ==
+
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
<pre><nowiki>
+
</noinclude>
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
+
[[Dagstuhl Seminar 2009|Industry Challenges identifed at Dagstuhl refinement seminar 2009]]
</nowiki></pre>
+
 
== Example ==
+
[[Mailing lists]] - Rodin related mailing lists.
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
+
 
[[Category:Typesetting template]]
+
[[Rodin Platform Releases]] - Track releases.
 +
 
 +
[[Bugs and Feature Requests]] - Report a bug or request a new feature.
 +
 
 +
[[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.
  
== Template ==
+
[[Test area|Test Area]] - Wiki editing is simple. Try by yourself.
 +
<noinclude>
 +
</div>
 +
[[Category:Main page templates|Community]]
 
</noinclude>
 
</noinclude>
<includeonly>{|class="Infrule" text-align="center" border="1" cellspacing="4" cellpadding="15" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; empty-cells:show;{{{style|}}}"
 
| style="border-width: 0px 0px 0px 0px;border-style: hidden hidden hidden hidden;" |{{{2}}}
 
| style="border-width: 0px 0px 0px 0px;border-style: hidden hidden hidden hidden;"|{{{1}}}
 
|}
 

Revision as of 14:35, 16 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.

Bugs and Feature Requests - Report a bug or request a new feature.

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.