Difference between revisions of "Template:Class"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (Template use to specify a class name.) |
(No difference)
|
Revision as of 13:36, 27 October 2008
Usage
Template use to typeset a class name.
Example
Variable
IHistory
provide history management.
Template
{{{1}}}
