Difference between pages "Template:Class" and "File:MBT for Event-B Logo Large.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Laurent
 
(Maintenance script uploaded File:MBT for Event-B Logo Large.png)
 
Line 1: Line 1:
<noinclude>
+
 
==Usage==
 
Template use to typeset a class name.
 
==Example==
 
Variable  {{class|IHistory}} provide history management.
 
[[Category:Typesetting templates]]
 
==Template==
 
</noinclude><!--
 
--><span class="typeset-class" style="font-family:monospace">{{{1}}}</span>
 

Latest revision as of 20:50, 30 April 2020