# HG changeset patch
# User blanchet
# Date 1382033017 -7200
# Node ID c8ea98c1f4b2da7c30fd835d6cabce58bccf9346
# Parent  c7119e1cde3eead44dcdb68c9e55ab7eb07c39cc
added thread-safety warnings

diff -r c7119e1cde3e -r c8ea98c1f4b2 src/Doc/Nitpick/document/root.tex
--- a/src/Doc/Nitpick/document/root.tex	Thu Oct 17 18:53:00 2013 +0200
+++ b/src/Doc/Nitpick/document/root.tex	Thu Oct 17 20:03:37 2013 +0200
@@ -1965,6 +1965,8 @@
 \texttt{.kki}, \texttt{.cnf}, \texttt{.out}, and
 \texttt{.err}; you may safely remove them after Nitpick has run.
 
+\textbf{Warning:} This option is not thread-safe. Use at your own risks.
+
 \nopagebreak
 {\small See also \textit{debug} (\S\ref{output-format}).}
 \end{enum}
diff -r c7119e1cde3e -r c8ea98c1f4b2 src/Doc/Sledgehammer/document/root.tex
--- a/src/Doc/Sledgehammer/document/root.tex	Thu Oct 17 18:53:00 2013 +0200
+++ b/src/Doc/Sledgehammer/document/root.tex	Thu Oct 17 20:03:37 2013 +0200
@@ -1038,6 +1038,8 @@
 simultaneously. The files are identified by the prefixes \texttt{prob\_} and
 \texttt{mash\_}; you may safely remove them after Sledgehammer has run.
 
+\textbf{Warning:} This option is not thread-safe. Use at your own risks.
+
 \nopagebreak
 {\small See also \textit{debug} (\S\ref{output-format}).}
 \end{enum}