If Magma has been installed correctly, it may be activated by typing `magma'.
Interrupt Magma while it is performing some task (that is, while the user does not have a `prompt') to obtain a new prompt. Magma will try to interrupt at a convenient point (this may take some time). If <Ctrl>-C is typed twice within half a second, Magma will exit completely immediately.
Terminate the current Magma-session.
Immediately quit Magma (send the signal SIGQUIT to the Magma process on Unix machines). This is occasionally useful when <Ctrl>-C does not seem to work.