Difference between revisions of "TextEditor Screenshots"
From Event-B
Jump to navigationJump to searchimported>Fabian |
imported>Fabian |
||
Line 6: | Line 6: | ||
Some impression of the TextEditor... | Some impression of the TextEditor... | ||
− | + | ====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'
Context 'array' from example 'maximum'
Code completion for an event template