TEX-1-OTL : FLAG-MODE

TEX-1-OTL is a mode.
mode used for printing proofs in tex.
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 85 10000
SCOPE NIL NIL
STYLE TEX-1 GENERIC

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage