Difference between revisions of "Template:Button"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m
imported>Laurent
(Replaced "div" by "span")
 
(One intermediate revision by one other user not shown)
Line 8: Line 8:
 
== Template ==
 
== Template ==
 
</noinclude><!--
 
</noinclude><!--
--><div class="typeset-button" style="display:inline;border:1px solid #aaaaaa;" >{{{1}}}</div>
+
--><span class="typeset-button">{{{1}}}</span>

Latest revision as of 10:10, 22 November 2010

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}}}