anchor.diff:        (format t "No transformations")
         (Script::printScript (Script::mkSteps *transform-commands*)))
     (setq *current-command-processor* 'process-sw-shell-command)
  +  (setq *prompt* "* ")
     (values))
   
   (defun process-transform-shell-command (command argstr)
  
positive.code: 				   ("lr" . "[thm] Applies theorem as a rewrite in left-to-right direction")
  				   ("rl" . "[thm] Applies theorem as a rewrite in right-to-left direction")
  				   ("simp-standard" . "Applies standard simplifier")
  				   ("pc"   . "Print current expression")
  				   ("undo" . "[n] Undo n levels (1 with no argument)")
  				   ("done" . "Print script and return to normal shell")
  
negative.code: 	   ((left-to-right lr) (apply-command argstr 'Script::mkLeftToRight))
  	   ((right-to-left rl) (apply-command argstr 'Script::mkRightToLeft))
  	   ((simp-standard ss) (interpret-command (Script::mkSimpStandard-0)))
  	   ((abstract-cse cse acse) (interpret-command (Script::mkAbstractCommonExpressions-0)))
  	   ((partial-eval pe)  (interpret-command (Script::mkPartialEval-0)))
  
  	   (pc                 (print-current-term))
  