Template:Class: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m Template use to specify a class name. |
imported>Mathieu mNo edit summary |
||
| Line 7: | Line 7: | ||
==Template== | ==Template== | ||
</noinclude><!-- | </noinclude><!-- | ||
--><div class="typeset-class" style="display:inline;" | --><div class="typeset-class" style="display:inline;font-family:monospace">{{{1}}}</div> | ||
Revision as of 11:07, 16 December 2008
Usage
Template use to typeset a class name.
Example
Variable
IHistory
provide history management.
Template
{{{1}}}
