anchor.diff:  			nil
   			(Script::mkAt-2 qid future-steps)))
   		*transform-commands*)
  -	  (print-current-term)))
  +	  (print-current-term nil)))
       (values)))
   
   (defparameter *move-alist* '(("f" :|First|) ("l" :|Last|) ("n" :|Next|) ("p" :|Prev|)
  
positive.code: 		       (incf num -1))
  		    (format t "Illegal undo argument"))))))
    (unless (null *transform-term*)
      (print-current-term))
    (values))
  
  (defun command-string (command)
  
negative.code:     (setq *transform-spec* (third last-state))
      (push (fourth last-state) *redos*)))
  
  (defun print-current-term (with-types?)
    (if (null *transform-term*)
        (princ "No term chosen")
        (princ (if with-types?
  		 (AnnSpecPrinter::printTermWithSorts (car *transform-term*))
  		 (AnnSpecPrinter::printTerm (car *transform-term*)))))
    (values))
  
  (defun undo-command (argstr quiet?)
  