Difference between revisions of "Template:Ident"
From Event-B
Jump to navigationJump to searchimported>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- | + | --><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}}}