JFORMS : MODULE

JFORMS is a module.

It is loaded.
Defines operations associated with creating jforms.

NEEDED-MODULES WFF-PARSE

MACRO-FILES JFORMS-DEFNS

FILES JFORMS-LABELS JFORMS ORDER-COMPONENTS WEAK-MAC-AUTO JFORMS-EDOPS

TPS documentation homepage


JFORMS : REVIEW-SUBJECT

JFORMS is a subject.
Variables associated with jforms.

TPS documentation homepage


JFORMS : TPS-FILE

JFORMS is a file.
Jform-Wff conversion commands.
/home/theorem/tps/bin/jforms.fasl is part of module JFORMS.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage