TextEditor Screenshots: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Fabian No edit summary |
imported>Fabian mNo edit summary |
||
| Line 9: | Line 9: | ||
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]. | 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]] | ||
Revision as of 09:13, 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
