Previous: push-variablename- Up: ../slides.html Next: reset

QUIT

 Terminate execution.   An end-of-file  condition on  the primary  input
 file will simulate this command.  However, if this command occurs in an
 INCLUDE  file,  processing  of  that  file  terminates,  and  execution
 continues with input from the enclosing file.