VPFORMS : MODULE

VPFORMS is a module.

It is loaded.
Editor operations associated with creating and displaying VPFORMS.

NEEDED-MODULES WFF-EDITOR JFORMS TEX-WFF

MACRO-FILES VPFORMS-MACROS

FILES VPFORMS VPFORMS-TEX

TPS documentation homepage


VPFORMS : TPS-FILE

VPFORMS is a file.
Printing vertical path diagram commands.
/home/theorem/tps/lisp/vpforms.lisp is part of module VPFORMS.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage