anchor.diff:      (with-open-file (s tmp-sw :direction :output :if-exists :supersede)
         (if (null *current-swe-spec*)
   	  (format s "spec~%  def swe.tmp = ~A~%endspec~%" x)
  -	(format s "spec~%  import /~A~%  def swe.tmp = ~A~%endspec~%" 
  +	(format s "spec~%  import ~A~%  def swe.tmp = ~A~%endspec~%" 
   		*current-swe-spec*
   		x)))
       ;; Process unit id:
  
positive.code: 
  #+allegro
  (top-level:alias ("swe-spec" :case-sensitive :string) (x) 
    (setq *current-swe-spec* x)
    (format t "~&Subsequent :swe commands will now import ~A~%" x))
  
  (defvar *swe-print-as-slang?* nil)
  (defvar *swe-return-value?* nil)
  
negative.code: 	 (tmp-uid (format nil "/~A"     tmp-name))
  	 (tmp-sw  (format nil "~A~A.sw" tmp-dir tmp-name))
  	 (tmp-cl  (format nil "~A~A"    tmp-dir tmp-name))
  	 (old-swpath (specware::getEnv "SWPATH"))
  	 (new-swpath (format nil ":/tmp/swe/:~A:~A" *current-swe-spec-dir* old-swpath)))
      ;; clear any old values or function definitions:
      (makunbound  'swe::tmp)
      (fmakunbound 'swe::tmp)
  