anchor.diff:  	 (tmp-cl  (format nil "~A~A"    tmp-dir tmp-name))
   	 (SpecCalc::noElaboratingMessageFiles (list tmp-cl))
   	 (TypeChecker::complainAboutImplcitPolymorphicOps? nil)
  -	 (old-swpath (specware::getEnv "SWPATH"))
  +	 (old-swpath (or (specware::getEnv "SWPATH") ""))
   	 (new-swpath (format nil
   			     #-mswindows "~A:~A:~A" #+mswindows "~A;~A;~A"
   			     tmp-dir *current-swe-spec-dir* old-swpath))
  
positive.code:     (unless *saved-swpath*
        (setq *saved-swpath* swpath))
      (specware::setenv "SWPATH"
  		      (format nil #-mswindows "~A:~A" #+mswindows "~A;~A"
  			      dir swpath))))
  
  (defun maybe-restore-swpath ()
    (when *saved-swpath*
  
negative.code: #+(or sbcl cmu)
  (specware::without-package-locks
   (defun cl::commandp (form)
    (keywordp form)))
  
  (defun invoke-command-interactive (command)
    (let ((fn (intern (symbol-name command) (find-package "CL-USER")))
  