Difference between pages "Template:Index" and "File:ConjGoalAfter.png"
From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu |
|
Line 1: |
Line 1: |
− | <noinclude>
| + | |
− | Template use to specify an index entry (mainly used for planned eclipse and pdf index generation).
| |
− | == Usage ==
| |
− | <nowiki>{{Index|concept}}</nowiki>
| |
− | == Example ==
| |
− | The {{Index|Proof Obligation}}s are one of....
| |
− | [[Category:Typesetting template]]
| |
− | == Template Code ==
| |
− | </noinclude><!--
| |
− | --><span class="index-entry" title="{{{1}}}" style="display:inline;"></span>{{{1}}}
| |
Latest revision as of 20:49, 30 April 2020