UGEN* : INFO

UGEN* is a flag setting or other piece of information.
UGEN* is an alias, defined as:
use-tactic (repeat ugen-tac) nat-ded auto

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage