anchor.diff:  (defun cl-user::boot ()
     (let ((val (cl-user::swl "/Applications/Specware/Specware4")))
       (unless val
  -      (funcall (find-symbol "EVAL-IN-EMACS" "EMACS")
  +      (funcall (intern "EVAL-IN-EMACS" "EMACS")
   	       "(delete-continuation)"))
       val)
     )
  
positive.code: 	    (setq sb-debug:*debug-beginner-help-p* nil)
  
  	    ;; Preload for efficiency and flexibility
  	    (eval-when (:compile-toplevel :load-toplevel :execute)
  	      (require 'sb-bsd-sockets)
  	      (require 'sb-introspect)
  
negative.code: ;; Repeat the when test so the defparameter below can 
  ;; be read after the defpackage above has been evaluted.
  (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)))
  