Template:Button

From Event-B

Jump to: navigation, search

Template use to specify a button click:

Usage

{{button|label}}

Example

Click ah with your hypotheses in the selection zone and then, click pp.

Template

{{{1}}}

Retrieved from "http://wiki.event-b.org/index.php/Template:Button"
Personal tools