SCRIBE-DOC-FIRST-ORDER : FLAG-MODE

SCRIBE-DOC-FIRST-ORDER is a mode.
Mode used for producing documentation in Scribe in first-order mode.
Flags are set as follows:
Flag Value in Mode Current Value
ALLSCOPEFLAG NIL NIL
ATOMVALFLAG NIL NIL
DISPLAYWFF NIL NIL
FIRST-ORDER-PRINT-MODE T NIL
FLUSHLEFTFLAG NIL NIL
LEFTMARGIN 0 0
LOCALLEFTFLAG NIL NIL
PPWFFLAG NIL T
PRINTDEPTH 0 0
PRINTTYPES NIL T
RIGHTMARGIN 70 10000
SCOPE NIL NIL
STYLE SCRIBE GENERIC

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage