quit CoCoA
This command is used to quit CoCoA. Note, it is issued as follows: Ciao;
without parentheses.
Ciao
Quit
<type>system</type>