SCRIBE-OTL : FLAG-MODE

SCRIBE-OTL is a mode.
Mode used for printing proofs in Scribe.
Flags are set as follows:
Flag Value in Mode Current Value
ALLSCOPEFLAG NIL NIL
ATOMVALFLAG NIL NIL
DISPLAYWFF NIL NIL
FLUSHLEFTFLAG NIL NIL
LEFTMARGIN 0 0
LOCALLEFTFLAG NIL NIL
PPWFFLAG T T
PRINTDEPTH 0 0
RIGHTMARGIN 70 10000
SCOPE NIL NIL
STYLE SCRIBE GENERIC

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage