anchor.diff:  ;; These two definitions might not be needed here
   ;; They are in BuildPreamble.lisp where they are needed
  -(defvar Accord-version "1.0")
  -(defvar Accord-version-name "Accord-1-0")
  -(defvar Accord-name "Accord")	; Name of directory and startup files
  +(defvar Accord-version "4.0.11")
  +(defvar Accord-version-name "Specware-4-0-11")
  +(defvar Accord-name "Specware-Accord")	; Name of directory and startup files
   (defvar Accord-dir (sys:getenv "ACCORD"))
   (defvar Specware-dir (sys:getenv "SPECWARE4"))
   (defun in-accord-dir (file) (concatenate 'string Accord-dir "/" file))
  
positive.code: ;;; Copy needed directories to distribution
  (copy-directory (in-specware-dir "Library/Base/")
  		(in-distribution-dir "Library/Base/"))
  ;(copy-file (in-specware-dir "Library/Base.sw")
  ;	   (in-distribution-dir "Library/Base.sw"))
  (copy-directory (in-specware-dir "Library/IO/Emacs/")
  		(in-distribution-dir "Library/IO/Emacs/"))
  (copy-directory (in-specware-dir "UserDoc/tutorial/example/")
  		(in-distribution-dir "Examples/Matching/"))
  (copy-directory (in-specware-dir "UserDoc/examples/")
  		(in-distribution-dir "Examples/"))
  
  (copy-directory (in-accord-dir "Sources/Handwritten/")
  		(in-distribution-dir "Sources/Handwritten/"))
  
  (copy-directory (in-lisp-dir "xeli/")
  		(in-distribution-dir "Sources/Handwritten/IO/Emacs/xeli/"))
  
negative.code:   (mapcar #'(lambda (file) (format nil "~A/Applications/Specware/Handwritten/Lisp/~A.lisp" 
  				   Specware-dir
  				   file))
  	  '("BuildAccordPreamble" "Specware4" "load-accord" "accord-license"))
  
    ;; a list of files to copy to the distribution directory
    :application-files
    (list ;;; (in-accord-dir "/Library/")
  	;;; (in-accord-dir "/Applications/Accord/Courses/")
     (in-specware-dir "Release/Windows/Specware-Accord.cmd"))
  
    ;; Possible option instead of excl::delete-directory-and-files call
    ;;  :allow-existing-directory t
  