After you have booted and started the Elan Programming Environment, the following identifying message appears on the screen:
Immediately underneath you will find the <#309#>focus<#309#>, i.e. the
name of the refinement that is the current focus of interest.
The default focus is
The question mark means that <#312#>program<#312#> is not the name of
a known refinement, i.e. it has not yet obtained a meaning. At
the bottom of the screen, on the status line, you find the message
indicating what is expected from you. By giving the help-command
you are shown for one second a list of the applicable commands.
The commands are described in chapter 5 of this manual. The help-command
serves only as a reminder.