Difference between pages "Template:L action" and "Template:L comment"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Mathieu m |
imported>Mathieu m |
||
| Line 1: | Line 1: | ||
<noinclude> | <noinclude> | ||
==Usage== | ==Usage== | ||
| − | Template use to typeset an | + | Template use to typeset an event name in an event-b listing. |
==Example== | ==Example== | ||
| + | {{l_action|act1|2=a:= 0}}{{l_comment|This is a comment}} | ||
| + | {{l_action|act2|2=c:= a + 1}} | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
[[Category:Listing templates]] | [[Category:Listing templates]] | ||
==Template== | ==Template== | ||
</noinclude><!-- | </noinclude><!-- | ||
| − | -->< | + | --><div class="typeset-l_comment" >// {{{1}}}</div> |
Latest revision as of 13:55, 26 February 2009
Usage
Template use to typeset an event name in an event-b listing.
Example
act1 :
a:= 0
// This is a comment
act2 :
c:= a + 1
Template
// {{{1}}}
