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...) |
(No difference)
|
Revision as of 12:46, 29 September 2008
Usage
Template use to specify an identifier or a variable.
Example
Variable
chaining_block
must be typed.
Template
{{{1}}}