# HG changeset patch
# User blanchet
# Date 1297177807 -3600
# Node ID 14d135c09bec6a381c4e1f12990e3362356c4246
# Parent  bb366da22483e3b38434a9a057b7d2c36138b034
transformed lie into truth

diff -r bb366da22483 -r 14d135c09bec doc-src/Sledgehammer/sledgehammer.tex
--- 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