--- a/src/Doc/Sledgehammer/document/root.tex Fri Oct 02 21:15:25 2015 +0200
+++ b/src/Doc/Sledgehammer/document/root.tex Fri Oct 02 21:16:16 2015 +0200
@@ -589,13 +589,6 @@
\S\ref{mode-of-operation} for more information on how to install automatic
provers.
-\item[\labelitemi] \textbf{\textit{running\_provers}:} Prints information about
-currently running automatic provers, including elapsed runtime and remaining
-time until timeout.
-
-\item[\labelitemi] \textbf{\textit{kill\_all}:} Terminates all running
-threads (automatic provers and machine learners).
-
\item[\labelitemi] \textbf{\textit{refresh\_tptp}:} Refreshes the list of remote
ATPs available at System\-On\-TPTP \cite{sutcliffe-2000}.
\end{enum}
@@ -625,10 +618,6 @@
\item[\labelitemi] \textbf{\textit{relearn\_prover}:} Same as \textit{unlearn}
followed by \textit{learn\_prover}.
-
-\item[\labelitemi] \textbf{\textit{running\_learners}:} Prints information about
-currently running machine learners, including elapsed runtime and remaining
-time until timeout.
\end{enum}
Sledgehammer's behavior can be influenced by various \qty{options}, which can be