PROOF-ACTION-ENABLED : FLAG

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage