REVIEW : MEXPR

REVIEW is a top-level command.
Enter REVIEW to examine and change flags or parameters.
The command format for REVIEW is:

 <n>REVIEW 

TPS documentation homepage


REVIEW : TPS-FILE

REVIEW is a file.
Defines top-level for reviewing flags.
/home/theorem/tps/bin/review.fasl is part of module REVIEW-FLAGS.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage