Difference between revisions of "Template:L variable"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (New page: <noinclude> ==Usage== Template use to typeset a variable name in an event-b listing. ==Example== {{l_machine|AntiCollide}} {{l_refines|Safety}} {{l_sees|Network}} {{l_Variables|v1}} {{l_v...)
 
imported>Mathieu
m
 
Line 15: Line 15:
 
==Template==
 
==Template==
 
</noinclude><!--
 
</noinclude><!--
--><p class="typeset-l_variable" style="margin-left:1em">{{{1}}}</p>
+
--><p class="typeset-l_variable" >{{{1}}}</p>

Latest revision as of 10:22, 26 February 2009

Usage

Template use to typeset a variable name in an event-b listing.

Example

MACHINE

AntiCollide

REFINES

Safety

SEES

Network

VARIABLES

v1

v2

END

Template

{{{1}}}