 
   ;; Process commands added to specware-mode-map -- these should autoload
 ;;;  (define-key map "\C-c\C-s" 'switch-to-sl)
-;;;  (define-key map "\C-c\C-l" 'sl-load-file)
-;;;  (define-key map "\C-c\C-r" 'sl-send-region)
-;;;  (define-key map "\C-c\C-b" 'sl-send-buffer)
-;;;  (define-key map "\C-c`"    'sl-next-error)
+;;;  (define-key map "\C-c\C-l" 'sw:load-file)
+;;;  (define-key map "\C-c\C-r" 'sw:send-region)
+;;;  (define-key map "\C-c\C-b" 'sw:send-buffer)
+;;;  (define-key map "\C-c`"    'sw:next-error)
   )
 
-(defvar sl-no-doc
-  "This function is part of sl-proc, and has not yet been loaded.
+(defvar sw:no-doc
+  "This function is part of sw:proc, and has not yet been loaded.
 Full documentation will be available after autoloading the function."
   "Documentation for autoload functions.")
-
-;;;(autoload 'switch-to-sl   "sl-proc"   sl-no-doc t)
-;;;(autoload 'sl             "sl-proc"   sl-no-doc t)
-;;;(autoload 'sl-load-file   "sl-proc"   sl-no-doc t)
-;;;(autoload 'sl-send-region "sl-proc"   sl-no-doc t)
-;;;(autoload 'sl-send-buffer "sl-proc"   sl-no-doc t)
-;;;(autoload 'sl-next-error  "sl-proc"   sl-no-doc t)
 
 (defvar specware-mode-map nil "The mode map used in specware-mode.")
 (cond ((not specware-mode-map)
        (setq specware-mode-map (make-sparse-keymap))
-       (install-sl-keybindings specware-mode-map)))
+       (install-sw-keybindings specware-mode-map)))
 
 ;;;(and fi:lisp-listener-mode-map
 ;;;     (install-sl-keybindings fi:lisp-listener-mode-map))

\\|\\btype\\b\\|\\bval\\b\\|\\bwithtype\\b"
  "The starters of new expressions.")

(defconst sl-end-starters-reg  ; ??
  "\\blet\\b\\|\\blocal\\b\\|\\bsig\\b\\|\\bstruct\\b\\|\\bwith\\b"
  "Matching reg-expression for the \"end\" keyword.")

(defconst sl-starters-indent-after
  "struct\\b"
  "Indent after these.")

(defun sl-calculate-indentation ()
  (save-excursion
    (let ((case-fold-search nil))
      (beginning-of-line)

	   ;; save file if user types "yes":
	   (not (y-or-n-p "Parens are not balanced.  Save file anyway? ")))))))

;;; & do the user's customisation

(add-hook 'specware-load-hook 'specware-mode-version t)
