Difference between revisions of "Template:Class"
From Event-B
Jump to navigationJump to searchimported>Mathieu m |
imported>Laurent |
||
| Line 7: | Line 7: | ||
==Template== | ==Template== | ||
</noinclude><!-- | </noinclude><!-- | ||
| − | -->< | + | --><span class="typeset-class" style="font-family:monospace">{{{1}}}</span> |
Latest revision as of 14:54, 26 July 2012
Usage
Template use to typeset a class name.
Example
Variable IHistory provide history management.
Template
{{{1}}}
