SAVE-WFFS : MODULE

SAVE-WFFS is a module.

It is loaded.
Allows writing of weak labels into files.

NEEDED-MODULES WEAK-LABEL

MACRO-FILES WFFSAV-MAC

FILES WFFSAV

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage