This chapter describes the environmental features of Magma, together with options which can be specified at start-up on the command line, or within Magma by the Set- procedures. The history and line-editor features of Magma are also described.

Sections

• Command Line Options
• Environment Variables
• Set and Get
• Verbose Levels
• Other Information Procedures
• History
• The Magma Line Editor