DONE-EXC : EVENT

DONE-EXC is an event.
The event of completing an exercise.

EVENT-ARGS NUMBEROFLINES

TEMPLATE (STATUS-USERID) DPROOF NUMBEROFLINES COMPUTED-CODE (STATUS-DATE) DT

TEMPLATE-NAMES USERID DPROOF NUMBEROFLINES COMPUTED-CODE DATE DAYTIME

WRITE-WHEN IMMEDIATE

WRITE-FILE SCORE-FILE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage