To exit Specware, type :exit at the Lisp prompt. A message will appear indicating that another process exists. Type y to confirm that you want to exit. This will kill Specware and you may then close the XEmacs window.