Difference between pages "Template:ASRow" and "File:Um-0044.png"

Latest revision as of 20:49, 30 April 2020

Import from original Rodin user manual

@@ Line 1: / Line 1: @@
-<noinclude>
+Import from original Rodin user manual
-Template use to specify a table row for describing ASCII representation of event-b symbols
-== Usage ==
-<pre><nowiki>{{ASHeader}}
-{{ASRow}}|tt||tt
-{{ASRow}}|min||<math>\min</math>
-|}
-</nowiki></pre>
-== Example ==
-{{ASHeader}}
-{{ASRow}}|tt||tt
-{{ASRow}}|min||<math>\min</math>
-|}
-[[Category:Typesetting template]]
-== Template ==
-</noinclude>
-<includeonly>|- class="ASrow" align="center"
-</includeonly><noinclude>