Template:L comment: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m New page: <noinclude> ==Usage== Template use to typeset an event name in an event-b listing. ==Example== {{l_comment|This is a comment}} Category:Listing templates ==Template== </noinclude><!...
 
imported>Mathieu
(No difference)

Revision as of 13:46, 26 February 2009

Usage

Template use to typeset an event name in an event-b listing.

Example

// This is a comment

Template

// {{{1}}}