SCRIBE-EDWFF : FLAG-MODE

SCRIBE-EDWFF is a mode.
Mode used for writing formulas from the editor.
Flags are set as follows:
Flag Value in Mode Current Value
ALLSCOPEFLAG NIL NIL
ATOMVALFLAG NIL NIL
DISPLAYWFF T NIL
FIRST-ORDER-PRINT-MODE NIL NIL
FLUSHLEFTFLAG NIL NIL
LEFTMARGIN 0 0
LOCALLEFTFLAG NIL NIL
PPWFFLAG T T
PRINTDEPTH 0 0
PRINTTYPES T T
RIGHTMARGIN 70 10000
SCOPE NIL NIL
STYLE SCRIBE GENERIC

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage