[Next][Prev] [Right] [____] [Up] [Index] [Root]

Introduction

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]

Version: V2.19 of Wed Apr 24 15:09:57 EST 2013