TextEditor Screenshots

From Event-B
Revision as of 09:03, 31 May 2009 by imported>Fabian
Jump to navigationJump to search


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

Retrieved from ‘https://wiki.event-b.org/index.php?title=TextEditor_Screenshots&oldid=10152’