23 Documentation

Magma has an extensive online help system. It includes specially-written material on all aspects of Magma, suitable for the first-time user, and complete access to the Magma Handbook which provides a full description of all the facilities of the system. The help nodes are structured as a tree, allowing a full-scale browsing facility in addition to simple help requests.

In addition to the online help, there are five main components to the printed documentation: