anchor.diff:                                      cl-user::*Specware-Minor-Version*
                                       cl-user::*Specware-Patch-Level*))
   
  -(defun display-license-and-accept ()
  -  (let ((license-text-file (format nil "~a/~a" *Specware4* *license-text-file*)))
  +(defun display-license-and-accept (specware-dir)
  +  (let ((license-text-file (format nil "~a/~a" specware-dir *license-text-file*)))
       (if Emacs::*use-emacs-interface?*
           (Emacs::eval-in-emacs (format nil "(display-license-and-accept ~s)" license-text-file))
           (progn
             (format t "Opening ~a~%" license-text-file)
             (and (ignore-errors
  -                 (with-open-file (s (format nil "~a/~a" *Specware4* *license-text-file*)
  +                 (with-open-file (s (format nil "~a/~a" specware-dir *license-text-file*)
                                       :direction :input)
                      (loop for line = (read-line s  nil :done)
                            until (eq line :done)
  
positive.code:                         (car (List-Spec::compare-1-1 #'Integer-Spec::compare
                                                       (cons license-val *version-sexpr*))))))
            (setq *license-accepted?* t)
            (if (display-license-and-accept)
                (license-accepted)
              (if Emacs::*use-emacs-interface?*
                  (setq *license-accepted?* nil) ; Asynchronous
  
negative.code:     (let* ((home-dir (ensure-final-slash (to-cygwin-name (cl-user::home-dir))))
             (home-file-name (format nil "~a~a" home-dir *license-file*))
             (home-file (probe-file home-file-name))
             (specware-dir (Specware::getenv "SPECWARE4"))
             (specware-file-name (format nil "~a/~a" specware-dir *license-file*))
             (license-file (or home-file (probe-file specware-file-name)))
             (license-val (ignore-errors
                            (with-open-file (s license-file :direction :input)
  