To exit Specware, type exit or quit at the Specware prompt. This will terminate the Specware session. An existing XEmacs window remains open and needs to be closed separately.