EDWIN-VPFORM : FLAG

EDWIN-VPFORM is a flag or parameter.
If T, the Current Vpform window is opened
to display the vpform of the current wff being edited
when the editor is started. This flag is ignored in ETPS, where
the Vpform window is never opened.
EDWIN-VPFORM takes values of type BOOLEAN.
It belongs to subjects PRINTING EDITOR .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage