WEAK-LABEL : ARGTYPE

WEAK-LABEL is an argument type.
A weak label.

TPS documentation homepage


WEAK-LABEL : MODULE

WEAK-LABEL is a module.

It is loaded.
Defines the flavor WEAK of labels.

NEEDED-MODULES WFF-EDITOR

MACRO-FILES WEAK-MAC

FILES WEAK

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage