Difference between pages "Template:Ident" and "File:IReasonerInput.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m
 
(Maintenance script uploaded File:IReasonerInput.png)
 
Line 1: Line 1:
<noinclude>
+
 
==Usage==
 
Template use to specify an identifier or a variable.
 
==Example==
 
Variable  {{ident|chaining_block}} must be typed.
 
[[Category:Typesetting templates]]
 
==Template==
 
</noinclude><!--
 
--><div class="typeset-class" style="display:inline;font-family:monospace">{{{1}}}</div>
 

Latest revision as of 20:50, 30 April 2020