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