Next:
ECLiPSe Command Line Options
Up:
Events
Previous:
ECLiPSe Fatal Errors
Index
User-Defined Events
User-defined events should use atomic event names rather than numbers. See
set_event_handler/2
.
Warwick Harvey
2004-08-07