Template:Navigation

From Event-B
Revision as of 17:34, 6 July 2008 by imported>Mathieu (addition for eclipse help translation)
Jump to navigationJump to search

Usage

Allow to put a small navigation panel at the bottom or at the top of a page. Useful for navigating between document sections