Difference between revisions of "Template:L machine"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m
imported>Mathieu
m
Line 12: Line 12:
 
==Template==
 
==Template==
 
</noinclude><!--
 
</noinclude><!--
--><div class="typeset-l_clause" style="display:inline;font-family:monospace;color:red;font-weight:bold;">MACHINE</div><br/>
+
--><p class="typeset-l_clause" style="display:inline;font-family:monospace;color:red;font-weight:bold;">MACHINE</p>
<div class="typeset-l_component" style="display:inline;font-family:monospace;color:black;font-weight:bold;">   {{{1}}}</div>
+
<p class="typeset-l_component" style="display:inline;font-family:monospace;color:black;font-weight:bold;margin-left:1em">{{{1}}}</p>

Revision as of 12:57, 23 February 2009

Usage

Template use to typeset a machine name.

Example

MACHINE

AntiCollide

REFINES

Safety

SEES

Network

VARIABLES

v1

Template

MACHINE

{{{1}}}