Difference between revisions of "Template:L machine"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m
imported>Mathieu
m
Line 8: Line 8:
 
{{l_sees|Network|CDV|Acyclic}}
 
{{l_sees|Network|CDV|Acyclic}}
 
{{l_Variables|v1|v2|v3}}
 
{{l_Variables|v1|v2|v3}}
 +
 +
{{l_end}}
  
 
[[Category:Listing templates]]
 
[[Category:Listing templates]]
 
==Template==
 
==Template==
 
</noinclude><!--
 
</noinclude><!--
--><p class="typeset-l_clause" style="display:inline;font-family:monospace;color:red;font-weight:bold;">MACHINE</p>
+
-->
<p class="typeset-l_component" style="display:inline;font-family:monospace;color:black;font-weight:bold;margin-left:1em">{{{1}}}</p>
+
<div class="typeset-listing" style="font-family;">
 +
<p class="typeset-l_clause" style="font-family:monospace;color:red;font-weight:bold;">MACHINE</p>
 +
<p class="typeset-l_component" style="font-family:monospace;color:black;font-weight:bold;margin-left:1em">{{{1}}}</p>

Revision as of 12:59, 23 February 2009

Usage

Template use to typeset a machine name.

Example

MACHINE

AntiCollide

REFINES

Safety

SEES

Network

VARIABLES

v1

END

Template

MACHINE

{{{1}}}