ARR1* : EDOP

ARR1* is an editor command.
Apply a rewrite rule (active or inactive) repeatedly
to the current edwff. If the rule is bidirectional, you will
be prompted about which direction to apply it in.
CAUTION: may not terminate.
 
The command format for ARR1* is:

<Ed>ARR1* <<GWFF>> RULE
<<GWFF>> "SYMBOL"


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage