Difference between revisions of "Template:Class"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (Template use to specify a class name.)
 
imported>Mathieu
m
Line 7: Line 7:
 
==Template==
 
==Template==
 
</noinclude><!--
 
</noinclude><!--
--><div class="typeset-class" style="display:inline;"><tt>{{{1}}}</tt></div>
+
--><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}}}