anchor.diff:  ;;; ================================================================================
   
   ;;;  TODO: copy highest-numbered patch from "$SPECWARE4"/Release/Linux/CMU/Patches
  -;;; /bin/cp "$SPECWARE4"/Release/Linux/CMU/Patches/patch-4-0-6.x86f          "$SPECWARE4"/distribution-cmulisp/Patches
  +;;; /bin/cp "$SPECWARE4"/Release/Linux/CMU/Patches/patch-4-0-6.x86f  "$SPECWARE4"/distribution-cmulisp/Patches
   
   (defun prepare_patch_dir (source-dir target-dir)
     (let ((source-patch-dir (extend-directory source-dir "Release" "Windows" "Patches"))
  
positive.code: 	 (source-buildscripts-dir (ensure-subdirs-exist source-dir "Release" "BuildScripts"))
  	 (source-generic-dir      (ensure-subdirs-exist source-dir "Release" "Generic"))
  	 (source-linux-dir        (ensure-subdirs-exist source-dir "Release" "Linux"))
  	 (source-linux-cmucl-dir  (ensure-subdirs-exist source-dir "Release" "Linux" "CMUCL"))
  	 ;;
  	 (target-dir              (ensure-subdirs-exist release-dir "Specware" "Linux"))
  	 ;; a list of files to load into the new application
  	 (files-to-load           (list (merge-pathnames lisp-utilities-dir      "LoadUtilities.lisp")
  					(merge-pathnames lisp-utilities-dir      "MemoryManagement.lisp")
  					(merge-pathnames lisp-utilities-dir      "CompactMemory.lisp")
  					(merge-pathnames source-buildscripts-dir "BuildSpecwarePreamble.lisp")  
  					(merge-pathnames source-buildscripts-dir "LoadSpecware.lisp")
  					(merge-pathnames source-buildscripts-dir "SpecwareLicense.lisp"))))
  
      ;; Installation Scripts
  
      ;; #+sbcl (dolist (file files-to-load) (compile-file file))
  
      
      ;; Executables/Images
      (generate-new-lisp-application #+CMUCL "/usr/share/cmulisp/bin/lisp" 
  				   #+CMUCL (format nil "~A.cmuimage" Specware-name)
  				   #+SBCL  "/usr/local/bin/sbcl"
  				   #+SBCL  (format nil "~A.sbclimage" Specware-name)
  
  				   target-dir
  				   files-to-load
  
  				   ;; a list of files to copy to the distribution directory
  				   (list (merge-pathnames source-linux-cmucl-dir "Specware")
  					 (merge-pathnames source-linux-cmucl-dir "SpecwareShell")
  					 (merge-pathnames source-linux-cmucl-dir "Find_CMUCL")
  					 (merge-pathnames source-linux-cmucl-dir "Find_Specware_App_CMUCL")
  					 (merge-pathnames source-linux-dir       "install_gnome_desktop_icons_specware")
  					 (merge-pathnames source-linux-dir       "Find_XEMACS")
  					 (merge-pathnames source-linux-dir       "Find_SPECWARE4")
  					 (merge-pathnames source-linux-dir       "Update_Path")
  					 (merge-pathnames source-linux-dir       "Update_SWPATH")
  					 (merge-pathnames source-generic-dir     "StartSpecwareShell.lisp"))
  				   t)
      ;; Patches
      (prepare_patch_dir source-dir target-dir)
      ))
  
  #+Mac
  (defun prepare_Specware_Mac (specware-dir release-dir lisp-utilities-dir)
    (declare (ignore specware-dir release-dir lisp-utilities-dir))
    (print-minor "Specware" "Mac")
    )
  
  #+MSWindows
  
negative.code: 			   (extend-directory examples-dir "Matching"))
        
        (copy-dist-directory (extend-directory source-dir "UserDoc" "examples")
  			   (extend-directory target-dir "Examples"))
  
        (copy-dist-directory (extend-directory source-dir "UserDoc" "isabelle-interface" "example")
  			   (extend-directory target-dir "Examples"))
  
        ;; (let ((snark-dir (extend-directory examples-dir "Matching" "Snark"))
  