QUIET : FLAG-MODE

QUIET is a mode.
Turn off all output that can be turned off, without affecting search
at all. Should make most other modes run a bit faster.
Flags are set as follows:
Flag Value in Mode Current Value
UNIFY-VERBOSE SILENT MED
MATING-VERBOSE SILENT MED
ETREE-NAT-VERBOSE NIL (PRFW-PALL
PRFW-^P
PRFW-^PN
^PN)
MS98-VERBOSE NIL NIL
TACTIC-VERBOSE MIN MED
OPTIONS-VERBOSE NIL NIL
LOAD-WARN-P NIL NIL

TPS documentation homepage


QUIET : INFO

QUIET is a flag setting or other piece of information.
QUIET is an alias, defined as:
(setq auto::unify-verbose 'auto::silent auto::mating-verbose 'auto::silent auto::ms98-verbose nil auto::etree-nat-verbose nil auto::tactic-verbose 'min auto::options-verbose nil load-warn-p nil print-nodenames t auto::conn-debug nil auto::natree-debug nil auto::merge-debug nil auto::*print-symmetry-verbose* nil auto::*print-eproof-verbose* nil)

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage