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

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Laurent
(Replaced "div" by "span")
 
imported>Mathieu
m (Template use to specify a class name.)
 
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==
== Example ==
+
Variable  {{class|IHistory}} provide history management.
Click {{button|ah}} with your hypotheses in the selection zone and then, click {{button|pp}}.
 
 
[[Category:Typesetting templates]]
 
[[Category:Typesetting templates]]
== Template ==
+
==Template==
 
</noinclude><!--
 
</noinclude><!--
--><span class="typeset-button">{{{1}}}</span>
+
--><div class="typeset-class" style="display:inline;"><tt>{{{1}}}</tt></div>

Revision as of 13:36, 27 October 2008

Usage

Template use to typeset a class name.

Example

Variable

IHistory

provide history management.

Template

{{{1}}}