anchor.diff:  
       ;; Debugging utilities
       "Applications/Specware/Handwritten/Lisp/debug"
  +    "Applications/Specware/Handwritten/Lisp/pprint-terms"
   
       ;; Specware Shell
       "Applications/Specware/Handwritten/Lisp/transform-shell" ; creates    MetaSlangRewriter package
  
positive.code: ;;    change-directory
  ;;    current-directory
  
  (let ((utils (make-pathname :defaults "../../../Handwritten/Lisp/load-utilities" :type "lisp")))
    (load utils)
    (compile-and-load-lisp-file utils))
  
  (defparameter Specware4 (substitute #\/ #\\ (convert-pathname-from-cygwin (getenv "SPECWARE4"))))
  
  
negative.code: ;;; ---------------
  (defvar HandwrittenFiles
    '(
      ;; Functions that are assumed by the MetaSlang to Lisp compiler
      "Library/SpecwareRuntime"
  
      ; "Library/Base/Handwritten/Lisp/Boolean.lisp"
    ;;  "Library/Base/Handwritten/Lisp/meta-slang-runtime.lisp"
    ;;  "Library/Base/Handwritten/Lisp/Integer.lisp"
  ;    "Library/Base/Handwritten/Lisp/Nat.lisp"
    ;;  "Library/Base/Handwritten/Lisp/Character.lisp"
    ;;  "Library/Legacy/Utilities/Handwritten/Lisp/System.lisp"
    ;;  "Library/Base/Handwritten/Lisp/String.lisp"
      "Library/Unvetted/Handwritten/Lisp/Double.lisp"
      "Library/Unvetted/Handwritten/Lisp/Complex.lisp"
   ;;   "Library/IO/Primitive/Handwritten/Lisp/IO.lisp"
   ;;   "Library/Legacy/Utilities/Handwritten/Lisp/State.lisp"
   ;;   "Library/Legacy/Utilities/Handwritten/Lisp/IO.lisp"
   ;;   "Library/Legacy/Utilities/Handwritten/Lisp/Lisp.lisp"
   ;;   "Library/Algorithms/Handwritten/Lisp/Thread.lisp"
      "Library/Legacy/DataStructures/Handwritten/Lisp/HashTable.lisp"
      "Library/Structures/Data/Maps/Handwritten/Lisp/MapAsSTHarray.lisp"
      "Library/Structures/Data/Maps/Handwritten/Lisp/MapAsBTHarray.lisp"
  