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...)
(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}}}