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.
[Next][Prev] [Right] [____] [Up] [Index] [Root]