|
[____]
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]
|