--- a/doc-src/Sledgehammer/sledgehammer.tex Tue Feb 08 16:10:06 2011 +0100
+++ b/doc-src/Sledgehammer/sledgehammer.tex Tue Feb 08 16:10:07 2011 +0100
@@ -304,8 +304,9 @@
limit on the number of messages to display (5 by default).
\item[$\bullet$] \textbf{\textit{available\_provers}:} Prints the list of
-installed provers. See \S\ref{installation} and \S\ref{mode-of-operation} for
-more information on how to install automatic provers.
+automatic provers supported by Sledgehammer. See \S\ref{installation} and
+\S\ref{mode-of-operation} for more information on how to install automatic
+provers.
\item[$\bullet$] \textbf{\textit{running\_provers}:} Prints information about
currently running automatic provers, including elapsed runtime and remaining