Ciao
quit CoCoA
This command is used to quit CoCoA. Note, it is issued as follows: Ciao; without parentheses.