Difference between revisions of "Template:Ident"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (New page: <noinclude> ==Usage== Template use to specify an identifier or a variable. ==Example== Variable {{ident|chaining_block}} must be typed. Category:Typesetting templates ==Template== </n...)
 
imported>Mathieu
m
 
Line 7: Line 7:
 
==Template==
 
==Template==
 
</noinclude><!--
 
</noinclude><!--
--><div class="typeset-ident" style="display:inline;"><tt>{{{1}}}</tt></div>
+
--><div class="typeset-class" style="display:inline;font-family:monospace">{{{1}}}</div>

Latest revision as of 11:21, 16 December 2008

Usage

Template use to specify an identifier or a variable.

Example

Variable

chaining_block

must be typed.

Template

{{{1}}}