anchor.diff:      "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/Monad/Handwritten/Lisp/State.lisp"
  +    "Languages/XML/Handwritten/Lisp/Chars.lisp"  ; unicode predicates for XML
       )
     )
   
  
positive.code: (make-system (concatenate 'string
                Specware4 "/Languages/PSL/Parser/Handwritten/Lisp"))
  
  ;;; Preload the base specs
  (cl-user::sw "/Library/Base")
  
  (format t "~2%To bootstrap, run (boot)~%")
  (format t "~%That will run :sw /Applications/PSL/PSL~2%")
  
negative.code:     ;; Functions that are assumed by the MetaSlang to Lisp compiler
      "Applications/Handwritten/Lisp/meta-slang-runtime"
  
      ;; The generated lisp code.  This also initializes the Specware
      ;; state in the lisp environment. See SpecCalculus/Semantics/Specware.sw.
      "Applications/PSL/lisp/PSL.lisp"
  
      ;; XML support -- this calls code generated in Specware4.lisp for various XML definitions
      ;; maybe interface would be a better name
      "Languages/XML/Handwritten/Lisp/Support.lisp"
  
      ;; Toplevel aliases 
      "Applications/Specware/Handwritten/Lisp/toplevel"
  