 
 (slime-define-keys specware-listener-mode-map
   ("\C-m" 'sw-return)
+  ("[return]" 'sw-return)
  ; ("\C-j" 'slime-repl-newline-and-indent)
 ;  ("\C-\M-m" 'slime-repl-closing-return)
 ;  ([(control return)] 'slime-repl-closing-return)

        (t 
         (slime-repl-newline-and-indent)
         (message "[input not complete]"))))

(defcustom sw:input-read-only nil
  "If non-nil then make input read-only"

  (define-key m "\e."      'sw:meta-point)
  (define-key m "\C-cfc"   'sw:find-case-dispatch-on-type)
  (define-key m "\C-cfr"   'sw:find-op-references)
  (define-key m "[return]"  'sw-return)
					;(define-key m "\C-c\C-d" 'ild-abort)
  (easy-menu-define specware-interaction-buffer-menu
		    m
