Template:Index

From Event-B
Revision as of 14:20, 11 August 2008 by imported>Mathieu
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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

Retrieved from ‘https://wiki.event-b.org/index.php?title=Template:Index&oldid=12889’