sams: Messages

$next$ $up$ $previous$ $contents$
Next: sarp: Selecting Redundancy Proof Up: Flag Settings Previous: sair: Settings for Inference Contents

$\begin{displaymath} \mbox{{\tt sams}} \end{displaymath}$

settings for the printing of MeSsages during saturation. Find out about the flags interactively by calling sams without parameters.

Harald Ganzinger 2002-12-04