After you have booted and started the Elan Programming Environment, the following identifying message appears on the screen:
Immediately underneath you will find the <#8#>focus<#8#>, i.e. the name of the refinement that is the current focus of interest. The default focus is
The question mark means that <#11#>program<#11#> 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.