Difference between pages "Template:Index" and "File:ConjGoalAfter.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m
 
(Maintenance script uploaded File:ConjGoalAfter.png)
 
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