anchor.diff:    (load utils)
     (compile-and-load-lisp-file utils))
   
  -(defparameter Specware4 (substitute #\/ #\\ (specware::getenv "SPECWARE4")))
  +(defparameter Specware4 (substitute #\/ #\\ (Specware::getenv "SPECWARE4")))
   
   (if (null Specware::Specware4)
       (warn "SPECWARE4 environment var not set")
  
positive.code: (when *using-slime-interface?*
    `(defparameter ,(intern "*FASL-DIRECTORY*" "SWANK-LOADER")
       (format nil "~a/Library/IO/Emacs/slime/" 
  	     (specware::getenv "SPECWARE4")))
    (let ((loader (in-specware-dir "Library/IO/Emacs/slime/swank-loader.lisp")))
      (load loader :verbose t))
    )
  
negative.code: 	    )
  
  ;; The following defines functions such as:
  ;;;   Specware::getenv
  ;;    compile-and-load-lisp-file
  ;;    load-lisp-file
  ;;    make-system
  