anchor.diff:      "Applications/Specware/Handwritten/Lisp/debug"
   
       ;; Specware Shell
  -    "Applications/Specware/Handwritten/Lisp/sw-shell"
  +    "Applications/Specware/Handwritten/Lisp/transform-shell" ; creates    MetaSlangRewriter package
  +    "Applications/Specware/Handwritten/Lisp/sw-shell"        ; references MetaSlangRewriter package
   
       ;; Test harness
       "Applications/Handwritten/Lisp/test-harness"
  
positive.code:     "Library/Legacy/Utilities/Handwritten/Lisp/Lisp.lisp"
      "Library/Legacy/DataStructures/Handwritten/Lisp/HashTable.lisp"
      "Library/Structures/Data/Maps/Handwritten/Lisp/MapAsSTHarray.lisp"
      ;"Library/Structures/Data/Sets/Handwritten/Lisp/SetAsCachedHArray.lisp"
      "Library/Structures/Data/Sets/Handwritten/Lisp/SetAsSTHarray.lisp"
      "Library/Structures/Data/Monad/Handwritten/Lisp/State.lisp"
  
negative.code: ;;; Among other things, this file is referenced by generate-application in
  ;;; BuildDistribution_ACL.lisp
  
  (defpackage "SPECTOLISP")
  (defpackage "SPECWARE" (:use "CL"))   ; Most systems default to this but not sbcl until patch loaded below
  (in-package "SPECWARE")
  
  (defvar SpecToLisp::SuppressGeneratedDefuns nil) ;; note: defvar does not redefine if var already has a value
  
  (declaim (optimize (speed 3) (debug #+sbcl 3 #-sbcl 2) (safety 1) #+cmu(c::brevity 3)))
  
  