Template:Index: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m Template used to specify an index entry. This template is used to ease ''eclipse online help'' generation from this wiki.
 
imported>Mathieu
 
(8 intermediate revisions by the same user not shown)
Line 5: Line 5:
== Example ==
== Example ==
The {{Index|Proof Obligation}}s are one of....
The {{Index|Proof Obligation}}s are one of....
[[Category:Typesetting template]]
[[Category:Export helper templates]]
== Template Code ==
== Template Code ==
</noinclude><!--
</noinclude><!--
--><div class="index-entry" concept="{{{1}}}" style="display:inline;"/>''{{{1}}}''
--><span class="index-entry" title="{{{1}}}" style="display:inline;"></span>{{{1}}}

Latest revision as of 20:48, 10 September 2008

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}}}