5.2.13 quit
Syntax:
exit;
quit;
Purpose:
quits SINGULAR; works also from inside a procedure or from an interrupt. Instead of
quit
, the synonymous command
exit
may be used.
Example:
quit;
User manual for
Singular
version 3-1-7, Aug 2013, generated by
texi2html
.