TextEditor Screenshots: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Fabian No edit summary |
imported>Fabian No edit summary |
||
| Line 7: | Line 7: | ||
====Machine 'm0' from example 'maximum' ==== | ====Machine 'm0' from example 'maximum' ==== | ||
See [[TextEditor_EBNF#Examples|TextEditor EBNF - Examples]] for the code or download the [http://deploy-eprints.ecs.soton.ac.uk/56/4/maximum.zip project]. | |||
[[Image:Screen_max_m0.png]] | [[Image:Screen_max_m0.png]] | ||
| Line 12: | Line 14: | ||
====Context 'array' from example 'maximum' ==== | ====Context 'array' from example 'maximum' ==== | ||
See [[TextEditor_EBNF#Examples|TextEditor EBNF - Examples]] for the code or download the [http://deploy-eprints.ecs.soton.ac.uk/56/4/maximum.zip project]. | |||
[[Image:Screen_max_array.png]] | [[Image:Screen_max_array.png]] | ||
Revision as of 09:12, 31 May 2009
Some impression of the TextEditor...
Machine 'm0' from example 'maximum'
See TextEditor EBNF - Examples for the code or download the project.
Context 'array' from example 'maximum'
See TextEditor EBNF - Examples for the code or download the project.
Code completion for an event template
Code completion for a constant name
