IDENT-ARG : INFO

IDENT-ARG is a flag setting or other piece of information.
A flag setting for OPTIONS-GENERATE-UPDATE.
Each time options are updated, leave the value of
OPTIONS-GENERATE-ARG unchanged.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage