5.1.27 exit
Syntax:
exit;
Purpose:
exits (quits) S
INGULAR
, works also from inside a procedure or from an interrupt.
User manual for
Singular
version 2-0-4, May 2003, generated by
texi2html
.