Template:L comment

From Event-B

Jump to: navigation, search

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}}}
Retrieved from "http://wiki.event-b.org/index.php/Template:L_comment"
Personal tools