anchor.diff:  ;;; This file is used to load the files for a specware image.
   ;;;
  -;;; (Do not confuse it with the file ../../lisp/Specware4.lisp
  -;;;  that is generated from .sw sources.)
  +;;; It is a clone of <Specware4>/Applications/Specware/Handwritten/Lisp/Specware4.lisp
  +;;; (not to be confused with <Specware4>/Applications/Specware/lisp/Specware4.lisp generated from sources).
   ;;;
   ;;; Among other things, this file is referenced by generate-application in
   ;;; BuildDistribution_ACL.lisp
  
positive.code:     )
    )
  
  (map 'list #'(lambda (file) 
  	       (compile-and-load-lisp-file (in-specware-dir file)))
       HandwrittenFiles
       )
  
  
negative.code: (defun in-specware-dir (file) (concatenate 'string *Specware-dir* file))
  
  #+cmu
  (compile-and-load-lisp-file (in-specware-dir "Applications/Handwritten/Lisp/cmucl-patch"))
  #+sbcl
  (compile-and-load-lisp-file (in-specware-dir "Applications/Handwritten/Lisp/sbcl-patch"))
  
  (defun ignore-warning (condition)
     (declare (ignore condition))
  