PROOF-ACTION : EVENT

PROOF-ACTION is an event.
The event of completing any proof.

EVENT-ARGS KIND

TEMPLATE (STATUS-USERID) KIND DPROOF (STATUS-DATE) (STATUS-DAYTIME)

TEMPLATE-NAMES USERID KIND DPROOF DATE DAYTIME

WRITE-WHEN IMMEDIATE

WRITE-FILE PROOF-FILE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage