Template:Index
From Event-B
Revision as of 14:00, 11 August 2008 by imported>Mathieu (Template used to specify an index entry. This template is used to ease ''eclipse online help'' generation from this wiki.)
Template use to specify an index entry (mainly used for planned eclipse and pdf index generation).
Usage
{{Index|concept}}
Example
The
Proof Obligations are one of....
Template Code
{{{1}}}