ABBREVIATIONS : MEXPR

ABBREVIATIONS is a top-level command.
This command will list the names of all abbreviations available in TPS.
The command format for ABBREVIATIONS is:

 <n>ABBREVIATIONS SHOW-DEFNS 
"YESNO"


The arguments have the following meaning:
SHOW-DEFNS : Show definitions?

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage