anchor.diff:  (defpackage :SWShell)
   (in-package :SWShell)
   
  -(defvar *transform-help-strings* '(("at" . "[op] Focuses on definition of op.")
  +(defvar *transform-help-strings* '(("at" . "[op] Focuses on definition of op")
   				   ("simplify" . "[rules] Applies rewriting simplifier with supplied rules.")
  -				   ("fold" . "[op] folds first occurrence of definition of op.")
  -				   ("unfold" . "[op] unfolds first occurrence of op.")
  +				   ("fold" . "[op] folds first occurrence of definition of op")
  +				   ("unfold" . "[op] unfolds first occurrence of op")
   				   ("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")
  
positive.code: 					  (if (or (null argstr) (equal argstr ""))
  					      (pop-state)
  					      (if (equal argstr "all")
  						  (loop while (not (null *undo-stack*))
  						    do (pop-state))
  						  (let ((num (read-from-string argstr)))
  						    (if (and (integerp num) (> num 0))
  							(loop while (and (> num 0) (not (null *undo-stack*)))
  
negative.code: 				   ("abstract-cse" . "Abstract Common Sub-Expressions")
  				   ("cse" . "Abstract Common Sub-Expressions")
  				   ("pc"   . "Print current expression")
  				   ("proc" . "[unit-term} Restart transformation on processed spec")
  				   ("p" . "[unit-term} Restart transformation on processed spec")
  				   ("trace-rewrites" . "Print trace for individual rewrites")
  				   ("trr" . "Print trace for individual rewrites")
  				   ("untrace-rewrites" . "Turn off printing trace for individual rewrites")
  				   ("untrr" . "Turn off printing trace for individual rewrites")
  				   ("undo" . "[n] Undo n levels (1 with no argument)")
  				   ("done" . "Print script and return to normal shell")
  				   ))
  