anchor.diff:  	   ((abstract-cse cse acse) (interpret-command (Script::mkAbstractCommonExpressions-0)))
   	   ((partial-eval pe)  (interpret-command (Script::mkPartialEval-0)))
   
  -	   (pc                 (print-current-term))
  +	   (pc                 (print-current-term nil))
  +	   (pcv                (print-current-term t))
   	   ((undo back)        (undo-command (and argstr (String-Spec::removeWhitesPace argstr)) nil))
   	   (redo               (redo-command (and argstr (String-Spec::removeWhitesPace argstr))))
   	   ((trace-rewrites trr) (setq MetaSlangRewriter::traceRewriting 2)
  
positive.code:     (setq *transform-spec* (third last-state))
      (push (fourth last-state) *redos*)))
  
  (defun print-current-term ()
    (if (null *transform-term*)
        (princ "No term chosen")
        (princ (AnnSpecPrinter::printTerm (car *transform-term*))))
    (values))
  
  (defun undo-command (argstr quiet?)
  
negative.code: 		       (incf num -1))
  		    (format t "Illegal undo argument"))))))
    (unless (null *transform-term*)
      (print-current-term nil))
    (values))
  
  (defun command-string (command)
  