anchor.diff:  
   ;(handler-bind ((warning #'ignore-warning))
     (map 'list #'(lambda (file)
  -		 (when (equal file "Applications/Specware/lisp/Specware4.lisp")
  -                   ;(sb-sprof:start-profiling)
  -                   (format t "~&;;; Possibly running lisp compiler on Specware--<n>.lisp files.~%")
  -                   (format t "~&;;; If lisp compilation is needed it takes about 40 seconds...~%")
  -                   (finish-output t)
  -                   (time
  -                    (progn
  -                      (compile-and-load-lisp-file (in-specware-dir "Applications/Specware/lisp/Specware4.lisp"))
  -                      (format t "Done compiling.")))
  -                   ;(with-open-file (f "sb-sprof.out" :direction :output)
  -                   ;  (sb-sprof:report :stream f))
  -)
  -                 (compile-and-load-lisp-file (in-specware-dir file)))
  +		 (if (equal file "Applications/Specware/lisp/Specware4.lisp")
  +                   (progn
  +                     (format t "~&;;; Possibly running lisp compiler on Specware--<n>.lisp files.~%")
  +                     (format t "~&;;; If lisp compilation is needed it takes about 40 seconds...~%")
  +                     (finish-output t)
  +                     (time
  +                      (progn
  +                        (compile-and-load-lisp-file (in-specware-dir file))
  +                        (format t "Done compiling."))))
  +                   (compile-and-load-lisp-file (in-specware-dir file))))
          SpecwareRuntime
          );)
   
  
positive.code: ;;; ---------------
  (defvar HandwrittenFiles
    '(
      ; "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"
  
negative.code:   #+case-sensitive
    (:nicknames :specware))
  (in-package :Specware)
  
  #+case-sensitive
  (eval-when (:compile-toplevel :load-toplevel :execute)
  