The Magma system offers several features designed to assist the user to perform Magma tasks as easily as possible. These include commands for storing Magma information in files and retrieving it from them, for editing input lines, and for timing computations.