anchor.diff:                          (car (List-Spec::compare-1-1 #'Integer-Spec::compare
                                                        (cons license-val *version-sexpr*))))))
             (setq *license-accepted?* t)
  -          (if (display-license-and-accept)
  +          (if (display-license-and-accept specware-dir)
                 (license-accepted)
               (if Emacs::*use-emacs-interface?*
                   (setq *license-accepted?* nil) ; Asynchronous
  
positive.code:                                     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*)))
      (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*)
                                      :direction :input)
                     (loop for line = (read-line s  nil :done)
                           until (eq line :done)
  
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)
  