anchor.diff:      "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"
  
positive.code:     ;"Library/Structures/Data/Sets/Handwritten/Lisp/SetAsCachedHArray.lisp"
      "Library/Structures/Data/Sets/Handwritten/Lisp/SetAsSTHarray.lisp"
      "Library/Structures/Data/Monad/Handwritten/Lisp/State.lisp"
      "Languages/XML/Handwritten/Lisp/Chars.lisp"  ; unicode predicates for XML
      "Languages/XML/Handwritten/Lisp/Magic.lisp"  ; escapes from metaslang type system
      "Provers/DP/Handwritten/Lisp/Rational.lisp"
  
negative.code:     (load utils)
      (compile-and-load-lisp-file utils)))
  
  (defparameter Specware4 (substitute #\/ #\\ (convert-pathname-from-cygwin (Specware::getenv "SPECWARE4"))))
  
  (if (null Specware::Specware4)
      (warn "SPECWARE4 environment var not set")
  