Difference between pages "Template:L machine" and "File:Example variables.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m
 
(Maintenance script uploaded File:Example variables.png)
 
Line 1: Line 1:
<noinclude>
+
Example - The variables
==Usage==
 
Template use to typeset a machine name in an event-b listing.
 
==Example==
 
 
 
{{l_machine|AntiCollide}}
 
{{l_refines|Safety}}
 
{{l_sees|Network}}
 
{{l_Variables|v1}}
 
{{l_variable|v2}}
 
 
 
{{l_end}}
 
 
 
[[Category:Listing templates]]
 
==Template==
 
</noinclude><!--
 
-->
 
<div class="typeset-listing" style="font-family:monospace;">
 
<p class="typeset-l_clause" style="color:red;font-weight:bold;">MACHINE</p>
 
<p class="typeset-l_component" style="color:black;font-weight:bold;margin-left:1em">{{{1}}}</p>
 

Latest revision as of 20:50, 30 April 2020

Example - The variables