TextEditor Screenshots: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Fabian No edit summary |
imported>Fabian No edit summary |
||
| 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
Code completion for a constant name
