JFORMS-LABELS : GETGWFFTYPE

JFORMS-LABELS is a wff reference format.
Labels used in JFORMS.

TPS documentation homepage


JFORMS-LABELS : TPS-FILE

JFORMS-LABELS is a file.
Defines flavors of jform labels and jform printing commands.
/home/theorem/tps/bin/jforms-labels.fasl is part of module JFORMS.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage