anchor.diff:  	  ,@fms))
   
   (defun lisp-value (val)
  -  (setq *** **
  -	** *
  -	* val)
  -  val)
  +  (when val
  +    (setq *** **
  +	  ** *
  +	  * (car val)))
  +  (values-list val))
   
   (defun process-sw-shell-command (command argstr)
     (if (and (consp command) (null argstr))
  -      (lisp-value (eval command))
  +      (lisp-value (multiple-value-list (eval command)))
       (case command
         (help (let ((cl-user::*sw-help-strings*
   		   (if *developer?*
  
positive.code: 	      (princ (namestring (specware::current-directory)))
  	    (cl-user::cd argstr))
  	  (values))
        (dir (cl-user::ls (or argstr "")))
        (dirr (cl-user::dirr (or argstr "")))
        (path (cl-user::swpath argstr))
  
negative.code:     ("cinit" . "Clears Spec unit cache.")    
      ("show" . "[unit-term] Like `proc' but in addition displays the value of the processed unit-term.")
      ("showx" . "[unit-term] Like `show' but shows all types and ops including imports.")
      ("prove" . "[proof arguments] Abbreviation for proc prove [proof arguments]")
      ("punits" . "[unit-identifier [filename]] Generates proof unit definitions for all conjectures in the unit and puts
                    them into filename.")
      ("lpunits" . "[unit-identifier [filename]] Like `punits' but only for local conjectures.")
  