ADVICE-ASKED : EVENT

ADVICE-ASKED is an event.
Event of user asking for advice.

EVENT-ARGS HINT-P

TEMPLATE (STATUS-USERID) DPROOF HINT-P

TEMPLATE-NAMES USERID DPROOF HINT-P

WRITE-WHEN 1

WRITE-FILE ADVICE-FILE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage