DONE-EXC-ENABLED : FLAG

DONE-EXC-ENABLED is a flag or parameter.
If NIL, recording events of type DONE-EXC is disabled.
DONE-EXC-ENABLED takes values of type BOOLEAN.
It belongs to subjects EVENTS .
Its default value is T
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage