SAVE-TPS-WORK : MODULE

SAVE-TPS-WORK is a module.

It is loaded.
Defines commands for saving and restoring work.

NEEDED-MODULES BARE

FILES SAVE-WORK

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage