# HG changeset patch
# User blanchet
# Date 1443813376 -7200
# Node ID 570dae974f6460757e5e58bc78a00a71239f1ee9
# Parent  6d779a71086d8fd1128259673561104e60a96fce
removed obsolete material in documentation

diff -r 6d779a71086d -r 570dae974f64 src/Doc/Sledgehammer/document/root.tex
--- 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