https://wiki.event-b.org/index.php?action=history&feed=atom&title=Template%3AL_event 2026-05-04T23:50:01Z Revision history for this page on the wiki MediaWiki 1.42.1 https://wiki.event-b.org/index.php?title=Template:L_event&diff=12954&oldid=prev 2009-02-26T13:47:05Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en-GB"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 13:47, 26 February 2009</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l31">Line 31:</td> <td colspan="2" class="diff-lineno">Line 31:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Template==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Template==</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;/noinclude&gt;&lt;!--</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;/noinclude&gt;&lt;!--</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>--&gt;&lt;div class="typeset-l_event" &gt;{{{1}}}&amp;nbsp;≙&lt;/div&gt;{{l_comment|{{{2|not extended}}} and {{3|no convergence}}}}</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>--&gt;&lt;div class="typeset-l_event" &gt;{{{1}}}&amp;nbsp;≙&lt;/div&gt;{{l_comment|{{{2|not extended}}} and <ins style="font-weight: bold; text-decoration: none;">{</ins>{{3|no convergence<ins style="font-weight: bold; text-decoration: none;">}</ins>}}}}</div></td></tr> </table>

imported>Mathieu https://wiki.event-b.org/index.php?title=Template:L_event&diff=12953&oldid=prev 2009-02-26T13:44:05Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en-GB"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 13:44, 26 February 2009</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l31">Line 31:</td> <td colspan="2" class="diff-lineno">Line 31:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Template==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Template==</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;/noinclude&gt;&lt;!--</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;/noinclude&gt;&lt;!--</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>--&gt;&lt;div class="typeset-l_event" &gt;{{{1}}}&amp;nbsp;≙&lt;/div&gt;{{<del style="font-weight: bold; text-decoration: none;">comment</del>|{{{2|not extended}}} and {{3|no convergence}}}}</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>--&gt;&lt;div class="typeset-l_event" &gt;{{{1}}}&amp;nbsp;≙&lt;/div&gt;{{<ins style="font-weight: bold; text-decoration: none;">l_comment</ins>|{{{2|not extended}}} and {{3|no convergence}}}}</div></td></tr> </table>

imported>Mathieu https://wiki.event-b.org/index.php?title=Template:L_event&diff=12952&oldid=prev 2009-02-26T13:42:32Z

<p>New page: &lt;noinclude&gt; ==Usage== Template use to typeset an event name in an event-b listing. ==Example== {{l_machine|AntiCollide}} {{l_refines|Safety}} {{l_sees|Network}} {{l_component|Acyclic}} {{...</p> <p><b>New page</b></p><div>&lt;noinclude&gt;<br /> ==Usage==<br /> Template use to typeset an event name in an event-b listing.<br /> ==Example==<br /> <br /> {{l_machine|AntiCollide}}<br /> {{l_refines|Safety}}<br /> {{l_sees|Network}}<br /> {{l_component|Acyclic}}<br /> {{l_variables|v1}}<br /> {{l_variable|v2}}<br /> {{l_invariants}}<br /> {{l_invariant|inv1|v2 ∈ BOOL}}<br /> {{l_theorems}}<br /> {{l_theorem|inv1|v2 ∈ BOOL}}<br /> {{l_events}}<br /> {{l_event|control|extended|ordinary}}<br /> {{l_parameters}}<br /> {{l_param|a}}<br /> {{l_param|x|y|z}}<br /> {{l_guards}}<br /> {{l_guard|grd1|x ⊆ next}}<br /> {{l_witnesses}}<br /> {{l_witness|y|y=v}}<br /> {{l_actions}}<br /> {{l_action|act1|pro :∈ BOOL}}<br /> {{l_end_event}}<br /> {{l_end}}<br /> <br /> [[Category:Listing templates]]<br /> ==Template==<br /> &lt;/noinclude&gt;&lt;!--<br /> --&gt;&lt;div class=&quot;typeset-l_event&quot; &gt;{{{1}}}&amp;nbsp;≙&lt;/div&gt;{{comment|{{{2|not extended}}} and {{3|no convergence}}}}</div>

imported>Mathieu