LOUD : INFO

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage