anchor.diff:  ;; Used in patch detection and about-specware command
   (defvar Major-Version-String "4-2")
   
  -(defparameter Specware4 (specware::getenv "SPECWARE4"))
  +(defparameter Specware4 (substitute #\/ #\\ (specware::getenv "SPECWARE4")))
  +
  +(if (null Specware::Specware4)
  +    (warn "SPECWARE4 environment var not set")
  +  (format t "~&SPECWARE4 = ~S~%" Specware::Specware4))
   
   ;; The following defines functions such as:
   ;;    compile-and-load-lisp-file
  
positive.code: (defun cl-user::boot ()
    (let ((val (cl-user::swl "/Applications/Specware/Specware4")))
      (unless val
        (funcall (find-symbol "EVAL-IN-EMACS" "EMACS")
  	       "(delete-continuation)"))
      val)
    )
  
negative.code: 	    (setq sb-debug:*debug-beginner-help-p* nil)
  
  	    ;; Preload for efficiency and flexibility
  	    #+Windows
  	    (eval-when (:compile-toplevel :load-toplevel :execute)
  	      (require 'sb-bsd-sockets)
  	      (require 'sb-introspect)
  