anchor.diff:  	      (princ (namestring (specware::current-directory)))
   	    (cl-user::cd argstr))
   	  (values))
  +      (pwd (princ (namestring (specware::current-directory)))
  +	   (values))
         (dir (cl-user::ls (or argstr "")))
         (dirr (cl-user::dirr (or argstr "")))
         (path (cl-user::swpath argstr))
  
positive.code: 	  ,@fms))
  
  (defun lisp-value (val)
    (setq *** **
  	** *
  	* val)
    val)
  
  (defun process-sw-shell-command (command argstr)
    (if (and (consp command) (null argstr))
        (lisp-value (eval command))
      (case command
        (help (let ((cl-user::*sw-help-strings*
  		   (if *developer?*
  
negative.code:       (gen-lisp (cl-user::swl argstr) (values))
        (lgen-lisp (cl-user::swll argstr) (values))
        (gen-c (cl-user::swc argstr) (values))
        (make (if (null argstr) 
  		(cl-user::make)
  	      (cl-user::make argstr)))
        (gen-java (cl-user::swj argstr) (values))
  