ED : MEXPR

ED is a top-level command.
Enter the editor on a given wff.
Editor windows may be initialized, depending the values of the flags
EDWIN-TOP, EDWIN-CURRENT, EDWIN-VPFORM. The flags BLANK-LINES-INSERTED and
CHARSIZE determine the layout of these windows. The flags
EDWIN-{CURRENT,TOP,VPFORM}-WIDTH and EDWIN-{CURRENT,TOP,VPFORM}-HEIGHT
determine the intial size of these windows; they may be resized after they are
opened in the usual way.
WARNING: Since editing is non-destructive, nothing is done with the result
of the editing process!
The command format for ED is:

 <n>ED  EDWFF 
"GWFF"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage