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