Template:L variable: Difference between revisions

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
mNo edit summary
 
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}}}