Difference between pages "Template:Button" and "File:Rodin2010-sld-wright.pdf"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m (safari rendering)
 
(Maintenance script uploaded File:Rodin2010-sld-wright.pdf)
 
Line 1: Line 1:
<noinclude>
+
 
Template use to specify a button click:
 
== Usage ==
 
<nowiki>{{button|label}}</nowiki>
 
== Example ==
 
Click {{button|ah}} with your hypotheses in the selection zone and then, click {{button|pp}}.
 
[[Category:Typesetting templates]]
 
== Template ==
 
</noinclude><!--
 
--><div class="typeset-button" style="display:inline;"><table style="border:1px solid #aaaaaa; display:inline-table; vertical-align:sub;" ><tr><td style="vertical-align:sub;">{{{1}}}</td></tr></table></div>
 

Latest revision as of 20:49, 30 April 2020