Difference between revisions of "TextEditor Screenshots"

From Event-B
Jump to navigationJump to search
imported>Fabian
imported>Fabian
Line 6: Line 6:
 
Some impression of the TextEditor...
 
Some impression of the TextEditor...
  
=====Machine 'm0' from example 'maximum' =====
+
====Machine 'm0' from example 'maximum' ====
  
 
[[Image:Screen_max_m0.png]]
 
[[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 09:03, 31 May 2009


Some impression of the TextEditor...

Machine 'm0' from example 'maximum'

Screen max m0.png


Context 'array' from example 'maximum'

Screen max array.png


Code completion for an event template

Screen max completion event.png


Code completion for a constant name

Screen max completion constant.png