SCRIBE-DOC : FLAG-MODE

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

TPS documentation homepage


SCRIBE-DOC : MEXPR

SCRIBE-DOC is a top-level command.
Produce Scribe documentation about the specified categories.
The command format for SCRIBE-DOC is:

 <n>SCRIBE-DOC CATEGORY-LIST  CONTEXT-LIST  FILENAME 
"TPSCATLIST" "CONTEXTLIST" "FILESPEC"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage