SUPPRESS-FLAGS-LIST : FLAG

SUPPRESS-FLAGS-LIST is a flag or parameter.
If SUPPRESS-FLAGS is T, these flags will not be printed.
SUPPRESS-FLAGS-LIST itself is always suppressed, because it's very large.
SUPPRESS-FLAGS-LIST takes values of type TPSFLAGLIST.
It belongs to subjects PRINTING .
Its default value is ()
Its current value is (ADD-SUBDIRECTORIES ADDED-CONN-ENABLED ADVICE-ASKED-ENABLED ADVICE-FILE ALPHA-LOWER-FLAG APPLY-MATCH ATOMVALFLAG AUTO-GENERATE-HYPS BACKUP-LIB-DIR BASE-TYPE BLANK-LINES-INSERTED BUILD-MATCH CHARSIZE CLEANUP-RULEC CLEANUP-SAME COMMAND-ENABLED COMMAND-FILE COMPILED-EXTENSION COMPLETION-OPTIONS CONSIDERED-CONN-ENABLED DEFAULT-BUG-DIR DEFAULT-EXPAND DEFAULT-LIB-DIR DEFAULT-LIBFILE-TYPE DEFAULT-LIBINDEX-TYPE DEFAULT-MATE DEFAULT-TACTIC DEFAULT-WFFEQ DISPLAYWFF DNEG-IMITATION DONE-EXC-ENABLED DUP-ALLOWED DUPE-ENABLED DUPE-VAR-ENABLED DUPLICATION-STRATEGY DUPLICATION-STRATEGY-PFD ECONJ-NAME EDISJ-NAME EDPPWFFLAG EDPRINTDEPTH EDWIN-CURRENT EDWIN-CURRENT-HEIGHT EDWIN-CURRENT-WIDTH EDWIN-TOP EDWIN-TOP-HEIGHT EDWIN-TOP-WIDTH EDWIN-VPFORM EDWIN-VPFORM-HEIGHT EDWIN-VPFORM-WIDTH ELIM-DEFNS EPROOF-NAME ERROR-ENABLED ERROR-FILE EVENT-CYCLE EVENTS-ENABLED EXCLUDING-GC-TIME EXPANSION-NAME EXPERTFLAG FALSE-NAME FILLINEFLAG FIRST-ORDER-MODE-PARSE FIRST-ORDER-PRINT-MODE FLUSHLEFTFLAG GO-INSTRUCTIONS HISTORY-SIZE HLINE-JUSTIFICATION IMITATION-FIRST IMP-NAME IN-TEX-MATH-MODE INCOMP-MATING-ENABLED INFIX-NOTATION INIT-DIALOGUE INIT-DIALOGUE-FN INITIAL-BKTRACK-LIMIT INPUT-ERROR-ENABLED INPUT-ERROR-FILE INTERRUPT-ENABLE LAMBDA-CONV LATEX-POSTAMBLE LATEX-PREAMBLE LEAF-NAME LEFTMARGIN LEIBNIZ-SUB-CHECK LIB-MASTERINDEX-FILE LISP-IMPLEMENTATION-TYPE LIT-NAME LOAD-WARN-P LOCALLEFTFLAG LOWERCASERAISE MACHINE-INSTANCE MACHINE-TYPE MAKE-WFFOPS-LABELS MATE-SUBSUMED-TEST-ENABLED MATE-SUBSUMED-TRUE-ENABLED MATING-CHANGED-ENABLED MATING-NAME MATINGSTREE-NAME MAX-SUBSTS-PROJ MAX-SUBSTS-PROJ-TOTAL META-BDVAR-NAME META-LABEL-NAME META-VAR-NAME MONITORFLAG MS-DIR MS-INIT-PATH MS90-3-DUP-STRATEGY MT-DUPS-PER-QUANT MTREE-FILTER-DUPS MTREE-STOP-IMMEDIATELY NAME-SKOLEM-FN NATREE-DEBUG NEG-NAME NEG-PRIM-SUB NEW-MATING-AFTER-DUP NEWS-DIR NUM-FRPAIRS PAGELENGTH PPWFFLAG PRIM-PREFIX PRIMSUB-ENABLED PRINT-DEEP PRINT-DOTS PRINT-LIT-NAME PRINT-META PRINT-NODENAMES PRINT-WEAK PRINTDEPTH PRINTEDTFILE PRINTEDTFLAG PRINTEDTFLAG-SLIDES PRINTEDTOPS PRINTLINEFLAG PRINTMATEFILE PRINTMATEFLAG PRINTMATEFLAG-SLIDES PRINTMATEOPS PRINTTYPES PRINTTYPES-ALL PRINTVPDFLAG PROOF-ACTION-ENABLED PROOF-FILE PROOFW-ACTIVE PROOFW-ACTIVE+NOS PROOFW-ACTIVE+NOS-HEIGHT PROOFW-ACTIVE+NOS-WIDTH PROOFW-ACTIVE-HEIGHT PROOFW-ACTIVE-WIDTH PROOFW-ALL PROOFW-ALL-HEIGHT PROOFW-ALL-WIDTH PRUNING QUIET-EVENTS QUIETLY-USE-DEFAULTS RANK-EPROOF-FN READ-LLOAD-SOURCES-P REC-MS-FILE REC-MS-FILENAME RECORDFLAGS REDUCE-DOUBLE-NEG REMOVE-TRAILING-DIR REMOVED-CONN-ENABLED REN-VAR-FN RENAME-ALL-BD-VARS RESOLVE-CONFLICT RETAIN-INITIAL-TYPE REWRITE-NAME RIGHTMARGIN RULE-ERROR-ENABLED RULE-ERROR-FILE RULEP-MAINFN RULEP-WFFEQ SAVE-FILE SAVE-INTERVAL SAVE-WORK-ON-START-UP SAVE-WORK-P SCOPE SCORE-FILE SCRIBE-LINE-WIDTH SCRIBE-POSTAMBLE SCRIBE-PREAMBLE SEARCH-COMPLETE-PATHS SELECTION-NAME SHORT-HELP SHORT-SITE-NAME SHOW-ALL-LIBOBJECTS SHOW-ALL-PACKAGES SHOW-SKOLEM SHOW-TIME SKOLEM-SELECTION-NAME SLIDES-PREAMBLE SLIDES-TURNSTYLE-INDENT SOURCE-EXTENSION SOURCE-PATH START-TIME-ENABLED STOP-AT-TSN STOP-TIME-ENABLED SUBSUMPTION-CHECK SUBSUMPTION-DEPTH SUBSUMPTION-NODES SUPPORT-NUMBERS SUPPRESS-FLAGS SUPPRESS-FLAGS-LIST TACMODE TACUSE TAG-CONN-FN TAG-MATING-FN TEST-EASIER-IF-HIGH TEST-EASIER-IF-LOW TEST-EASIER-IF-NIL TEST-EASIER-IF-T TEST-FASTER-IF-HIGH TEST-FASTER-IF-LOW TEST-FASTER-IF-NIL TEST-FASTER-IF-T TEST-MAX-SEARCH-VALUES TEST-MODIFY TEST-THEOREMS TESTWIN-HEIGHT TESTWIN-WIDTH TEX-1-POSTAMBLE TEX-1-PREAMBLE TEX-LINE-WIDTH TEX-MIMIC-SCRIBE TEX-POSTAMBLE TEX-PREAMBLE TEXFORMAT TOTAL-NUM-OF-DUPS TPSTEX TREAT-HLINES-AS-DLINES TRUE-NAME TRUTHVALUES-HACK TURNSTYLE-INDENT TURNSTYLE-INDENT-AUTO TYPE-IOTA-MODE UI-HERBRAND-LIMIT UNI-SEARCH-HEURISTIC UNIF-COUNTER UNIF-COUNTER-OUTPUT UNIF-SUBSUMED-TEST-ENABLED UNIF-SUBSUMED-TRUE-ENABLED UNIF-TRIGGER UNTYPED-LAMBDA-CALCULUS USE-DEFAULT-BUG-DIR USE-FAST-PROP-SEARCH USE-INTERNAL-PRINT-MODE USE-SYMSIMP VPD-BRIEF VPD-FILENAME VPD-LIT-NAME VPD-PTYPES VPD-STYLE VPD-VPFPAGE VPDTEX VPFORM-LABELS VPFORM-TEX-MAGNIFICATION VPFORM-TEX-NEST VPFORM-TEX-PREAMBLE VPW-HEIGHT VPW-WIDTH).

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage