Template:Navigation
From Event-B
Revision as of 17:34, 6 July 2008 by imported>Mathieu (addition for eclipse help translation)
Usage
Allow to put a small navigation panel at the bottom or at the top of a page. Useful for navigating between document sections