   (when specware-use-x-symbol
     (x-symbol-mode))
   (setq slime-words-of-encouragement
-	'("Welcome to Specware!")))
+	'("Welcome to Specware!"))
+  (add-specware-listener-key-bindings specware-listener-mode-map))
 
 (add-hook 'specware-listener-mode-hook
 	  'specware-listener-mode-init)

             program
	     (apply 'concat (loop for arg in program-args append (list " " arg)))
	     (if (boundp '*specware4-dir)
		 *specware4-dir
	       (getenv "SPECWARE4"))
	     ;slime-port
	     ))

		    "Menu used in Specware buffer."
		    specware-interaction-menu)
  (easy-menu-add specware-interaction-buffer-menu m))

(slime-define-keys specware-listener-mode-map
  ("\C-m" 'sw-return)
