ICONJ* : INFO

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage