anchor.diff:  
   ;; Load the parser library and the language specific parser files (grammar etc.)
   (make-system (concatenate 'string
  -    Specware4 "/Library/Algorithms/Parsing/Chart/Handwritten/Lisp"))
  +			  Specware4 "/Library/Algorithms/Parsing/Chart/Handwritten/Lisp"))
   (make-system (concatenate 'string
  -    Specware4 "/Languages/SpecCalculus/Parser/Handwritten/Lisp"))
  -
  -(make-system "../../UI/Emacs/Handwritten/Lisp")
  +			  Specware4 "/Languages/SpecCalculus/Parser/Handwritten/Lisp"))
   
   ;;; Preload the base specs
   (user::sw "/Library/Base")
  
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: 
  (defun user::boot ()
    (user::sw "/Applications/Specware/Specware4")
    )
  