EDWIN-CURRENT : FLAG

EDWIN-CURRENT is a flag or parameter.
If T, the Current Edwff window is opened to display the current
wff being edited when the editor is started.
EDWIN-CURRENT takes values of type BOOLEAN.
It belongs to subjects PRINTING EDITOR .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage