Difference between pages "TextEditor Screenshots" and "Template:ASRow"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Fabian
 
imported>Mathieu
m
 
Line 1: Line 1:
{| align="right"
+
<noinclude>
| __TOC__
+
Template use to specify a table row for describing ASCII representation of event-b symbols
 +
== Usage ==
 +
<pre><nowiki>{{ASHeader}}
 +
{{ASRow}}|tt||fff
 +
{{ASRow}}|aa||bb
 
|}
 
|}
 +
</nowiki></pre>
 +
== Example ==
 +
{{ASHeader}}
 +
{{ASRow}}|tt||fff
 +
{{ASRow}}|aa||bb
 +
|}
 +
[[Category:Typesetting template]]
  
 +
== Template ==
 +
</noinclude>
 +
<includeonly>|- class="ASrow" align="center"
  
Some impression of the TextEditor...
+
</includeonly><noinclude>
 
 
====Machine 'm0' from example 'maximum' ====
 
 
 
[[Image:Screen_max_m0.png]]
 
 
 
 
 
====Context 'array' from example 'maximum' ====
 
 
 
[[Image:Screen_max_array.png]]
 
 
 
 
 
====Code completion for an event template ====
 
 
 
[[Image:Screen_max_completion_event.png]]
 
 
 
 
 
====Code completion for a constant name ====
 
 
 
[[Image:Screen_max_completion_constant.png]]
 

Revision as of 14:26, 1 September 2008

Template use to specify a table row for describing ASCII representation of event-b symbols

Usage

{{ASHeader}}
{{ASRow}}|tt||fff
{{ASRow}}|aa||bb
|}

Example

ASCII Symbol
tt fff
aa bb

Template