Difference between pages "Template:Button" and "Template:Class"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m (Working version)
 
imported>Mathieu
m
 
Line 1: Line 1:
 
<noinclude>
 
<noinclude>
Template use to specify a button click:
+
==Usage==
== Usage ==
+
Template use to typeset a class name.
<nowiki>{{button|label}}</nowiki>
+
==Example==
or
+
Variable  {{class|IHistory}} provide history management.
<nowiki>{{button|[[Image:button_image.png]]}}</nowiki>
+
[[Category:Typesetting templates]]
== Example ==
+
==Template==
Click {{button|ah}} with your hypotheses in the selection zone and the, click {{button|pp}}.
 
[[Category:Typesetting template]]
 
== Template ==
 
 
</noinclude><!--
 
</noinclude><!--
--><table style="border:1px solid #aaaaaa; display:inline;"><tr><td style="vertical-align:sub;">{{{1}}}</td></tr></table>
+
--><div class="typeset-class" style="display:inline;font-family:monospace">{{{1}}}</div>

Revision as of 11:07, 16 December 2008

Usage

Template use to typeset a class name.

Example

Variable

IHistory

provide history management.

Template

{{{1}}}