Template:L label: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
mNo edit summary
imported>Mathieu
mNo edit summary
 
Line 17: Line 17:
==Template==
==Template==
</noinclude><!--
</noinclude><!--
--><div class="typeset-l_label" style="display:inline;color:blue;margin-left:1em;margin-right:1em">{{{1}}}&nbsp;:</div>
--><div class="typeset-l_label">{{{1}}}&nbsp;:</div>

Latest revision as of 10:15, 26 February 2009

Usage

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

Example

MACHINE

AntiCollide

REFINES

Safety

SEES

Network

Acyclic

VARIABLES

v1

v2

INVARIANTS

inv1 :
v2 \in BOOL

END

Template

{{{1}}} :