ECONJ* : INFO

ECONJ* is a flag setting or other piece of information.
ECONJ* is an alias, defined as:
use-tactic econj*-tac nat-ded auto

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage