PROBLEMS : MEXPR

PROBLEMS is a top-level command.
This command will list the names of all exercises available in ETPS.
The command format for PROBLEMS is:

 <n>PROBLEMS SHOW-DEFNS 
"YESNO"


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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage