ETPS-EVENTS : MODULE

ETPS-EVENTS is a module.

It is loaded.
Defines events which could be signalled in ETPS.

NEEDED-MODULES EVENTS

FILES ETPS-EVENTS TPS3-ERROR

TPS documentation homepage


ETPS-EVENTS : TPS-FILE

ETPS-EVENTS is a file.
Defines common events in ETPS.
They can be disabled or enabled in some common init file.
/home/theorem/tps/bin/etps-events.fasl is part of module ETPS-EVENTS.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage