Control-C key

The control-C key has more than one function.

If the user types control-C on an input line, Magma will abort the current line and start a new line. The contents of the old line will be ignored by Magma.

If the user types control-C while Magma is performing some task (that is, while the user does not have a prompt), an `interrupt' will occur. Magma will try to interrupt the computation at a convenient point; this may take some time.

If the user types control-C two times in quick succession while Magma is performing some task, then there will be a complete exit from Magma.