anchor.diff:  
   (defvar SpecwareRuntime
     '(
  -    ;; Functions that are assumed by the MetaSlang to Lisp compiler
  -    "Library/SpecwareRuntime"
  -
       ;; XML support -- this provides hooks for reading/writing ad hoc structures
       ;; that are not grounded in normal base specs such as Boolean, Integer, etc.
       ;; "Languages/XML/Handwritten/Lisp/AdHoc.lisp"
  
positive.code: 
      ;; Debugging utilities
      "Applications/Specware/Handwritten/Lisp/debug"
  
      ;; Specware Shell
      "Applications/Specware/Handwritten/Lisp/transform-shell" ; creates    MetaSlangRewriter package
  
negative.code:   #+case-sensitive
    (:nicknames :specware))
  (in-package :Specware)
  
  #+case-sensitive
  (eval-when (:compile-toplevel :load-toplevel :execute)
  