Template:Button

From Event-B
Revision as of 10:53, 7 July 2008 by imported>Mathieu (Template for typesetting a button click (in the tutorial or manual))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Template use to specify a button click:

Usage

{{button|label}} or {{button|[[Image:button_image.png]]}}

Example

Click

ah
whit your hypothses in the selection zone and the, click {{{pp}}}.
{{{1}}}
Retrieved from ‘https://wiki.event-b.org/index.php?title=Template:Button&oldid=12713’