Changing EVE ``In Flight''

Any file of EVE commands can be executed using the following sequence:

1. Press DO
2. Enter @name.type
3. Press RETURN

Where name.type specifies a file of EVE commands. If type is omitted then the file name name.EVE is assumed.