Template:Key
From Event-B
Revision as of 09:51, 7 July 2008 by imported>Mathieu (Template for typesetting a keystroke (in the tutorial or manual))
Usage
Template use to specify a key stroke: Hit F5.
{{{1}}}
Template use to specify a key stroke: Hit F5.
{{{1}}}
