Difference between pages "Template:L parameters" and "File:AutoTac.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m
 
(Maintenance script uploaded File:AutoTac.png)
 
Line 1: Line 1:
<noinclude>
 
==Usage==
 
Template use to typeset a parameter event clause in an event-b listing.
 
==Example==
 
{{l_machine|Safety}}
 
{{l_evente|control}}
 
{{l_parameters}}
 
  
{{l_end}}
 
 
[[Category:Listing templates]]
 
==Template==
 
</noinclude><!--
 
--><p class="typeset-l_evt_clause">ANY</p>
 

Latest revision as of 20:49, 30 April 2020