# HG changeset patch
# User desharna
# Date 1623922041 -7200
# Node ID 4538d6ffafbd13f51a4140720f65b31c332a6ce6
# Parent  a88427e553711845a61f06fb224974da5c3e928c
tuned Mirabelle documentation

diff -r a88427e55371 -r 4538d6ffafbd src/Doc/Sledgehammer/document/root.tex
--- a/src/Doc/Sledgehammer/document/root.tex	Thu Jun 17 10:46:27 2021 +0200
+++ b/src/Doc/Sledgehammer/document/root.tex	Thu Jun 17 11:27:21 2021 +0200
@@ -1322,7 +1322,7 @@
 \end{verbatim}
 
 This command specifies two actions running the \textbf{try0} and \textbf{metis}
-command respectively, both with a timeout of 10 seconds. The results are
+commands, respectively, each with a timeout of 10 seconds. The results are
 written to \texttt{output/mirabelle.log}.
 
 \subsection{Example of Generating TPTP Files}