TACTIC-VERBOSE is a flag or parameter.
Determines which of the three levels of verbosity will be used:
MAX -- prints the message returned by each tactic called, even if it fails.
MED -- prints messages only when tactic succeeds.
MIN -- prints nothing.
TACTIC-VERBOSE takes values of type SYMBOL.
It belongs to subjects TACTICS .
Its default value is MED
Its current value is MED.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage