anchor.diff:  
   (defparameter *move-alist* '(("f" :|First|) ("l" :|Last|) ("n" :|Next|) ("p" :|Prev|)
   			     ("w" :|Widen|) ("a" :|All|) ("t" :|All|)
  -			     ("s" . :|Search|) ("r" . :|ReverseSearch|)))
  +			     ("s" . :|Search|) ("r" . :|ReverseSearch|)
  +                             ("post" :|Post|)))
   
   (defun move-command (moves)
     (let ((move-comms (loop for move on moves
  
positive.code: 	   (at                 (at-command (parse-qid argstr 'op)))
             ((at-t at-theorem)  (at-theorem-command (parse-qid argstr 'theorem)))
  	   ((move m)           (move-command (String-Spec::split argstr)))
  	   ((f l n p w a s r)  (move-command (cons (string-downcase (string command))
  						   (String-Spec::split argstr))))
  	   ((simplify simp s)  (simplify-command argstr))
  	   ((apply a)          (apply-command argstr 'Script::mkMetaRule 'fn))
  	   ((applyToSpec a-s)  (apply-spec-command argstr 'Script::mkSpecTransform 'fn))
  	   ((fold f)           (apply-command argstr 'Script::mkFold 'op))
  	   ((unfold uf)        (apply-command argstr 'Script::mkUnfold 'op))
             ((rewrite rw)       (apply-command argstr 'Script::mkRewrite 'op))
  	   ((left-to-right lr) (apply-command argstr 'Script::mkLeftToRight 'theorem))
  
negative.code: 	                             (values))
  	   ((done)             (finish-transform-session))
  
  	   (proc (when (and (cl-user::sw argstr)
                              (equal *transform-specunit-Id* cl-user::*last-unit-Id-_loaded*))
                     (let ((val (cdr (Specware::evaluateUnitId cl-user::*last-unit-Id-_loaded*))))
                       (if (or (null val) (not (eq (car val) ':|Spec|)))
                           (format t "Not a spec!")
                           (let ((spc (cdr val)))
                             (setq *redos* nil) ; Don't want to redo commands backed out of
                             (undo-command "all" t)
                             (setq *transform-spec* spc)
                             (format t "Restarting Transformation Shell.")
                             (redo-command "all")))))
  		      (values))
  	   (t (if (Script::specTransformFn?-2 MetaSlang::unQualified *raw-command*)
                    (apply-spec-command (string *raw-command*) 'Script::mkSpecTransform 'fn)
  