THE ELAN PROGRAMMING ENVIRONMENT
Components of the Elan Programming Environment
Modules of the Elan Programming Environment
The memory
File store
The user interface
Moods
Commands
Names
Focus and prompt
Program and root
Initial state
The command-mood
Reading and editing of programs
Local editing
Incremental correction
Break
The execute- and related moods
The checker
The backtrace-mood
The trace-mood
The verify-mood