quit: terminates the workbench session
quit;
Synonyms
exit, bye
Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999