anchor.diff:  
   (defun user::boot ()
     (user::sw "/Applications/Specware/Specware4")
  -)
  +  )
  
positive.code: 
  ;; Load the parser library and the language specific parser files (grammar etc.)
  (make-system (concatenate 'string
      Specware4 "/Library/Algorithms/Parsing/Chart/Handwritten/Lisp"))
  (make-system (concatenate 'string
      Specware4 "/Languages/SpecCalculus/Parser/Handwritten/Lisp"))
  
  (make-system "../../UI/Emacs/Handwritten/Lisp")
  
  ;;; Preload the base specs
  (user::sw "/Library/Base")
  
negative.code: ;;    change-directory
  ;;    current-directory
  (load (make-pathname
         :defaults (concatenate 'string Specware4 "/Applications/Handwritten/Lisp/load-utilities")
         :type     "lisp"))
  
  ;; The following uses make-system from load-utilities above.
  ;; It defines goto-file-position, used by IO.lisp (and some chart-parsing code) below.
  (make-system "../../UI/Emacs/Handwritten/Lisp") 
  
  ;; The following list should be generated automatically!
  ;; The list is used only in this file.
  