anchor.diff:  
   (defun user::boot ()
     (user::sw "/Applications/Specware/Specware4")
  -)
  +  )
  
positive.code: ;;    change-directory
  ;;    current-directory
  (load (make-pathname
    :defaults
      (concatenate 'string Specware4 "/Applications/Handwritten/Lisp/load-utilities")
    :type "lisp"))
  
  ;; The following list should be generated automatically!
  ;; The list is used only in this file.
  
negative.code:     "Library/Legacy/Utilities/Handwritten/Lisp/IO.lisp"
      "Library/Legacy/Utilities/Handwritten/Lisp/Lisp.lisp"
      "Library/Legacy/DataStructures/Handwritten/Lisp/HashTable.lisp"
      )
    )
  
  ;; This loads functions that are assumed by the MetaSlang to Lisp compiler
  (compile-and-load-lisp-file (concatenate 'string
  