INIT-DIALOGUE-DEFAULT-FN : INFO

INIT-DIALOGUE-DEFAULT-FN is a flag setting or other piece of information.
A setting for INIT-DIALOGUE-FN.
Does nothing (except complain that you need to pick a different
setting for INIT-DIALOGUE-FN!).

ETPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage