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.

V2.28, 13 July 2023