When you are ready to stop, click
MOUSE-LEFT
in the ML-Top-Loop
window!ML-Top-Loop
},
and enter 
C-Z
. This should give you a Lisp prompt ( >) in the
shell from which you started up Nuprl
. To exit Lisp, enter
in this window. It is important that you explicitly type quit, rather than just for example quit out of the editor Nuprl is running under. In the latter case, the Lisp process can be left floating around in a hung state, hogging memory resources. (This could also happen if your editor crashes). You can use the Unix command ps to check for a hung Lisp and the command kill to kill it.