# HG changeset patch
# User wenzelm
# Date 1379796532 -7200
# Node ID 3746a78a2c01d21a53b11b7c39f7e96759059bc6
# Parent  1e86d0b668667cf4420e35dd1b65d850096e2a28
repaired latex (cf. 7bb0cf27c243);

diff -r 1e86d0b66866 -r 3746a78a2c01 src/Doc/Sledgehammer/document/root.tex
--- a/src/Doc/Sledgehammer/document/root.tex	Sat Sep 21 22:33:42 2013 +0200
+++ b/src/Doc/Sledgehammer/document/root.tex	Sat Sep 21 22:48:52 2013 +0200
@@ -1302,7 +1302,7 @@
 Specifies whether standard proof methods such as \textit{auto} and
 \textit{blast} should be tried as alternatives to \textit{metis} and
 \textit{smt} in Isar proofs. The collection of methods is roughly the same as
-for the \keyw{try0} command.
+for the \textbf{try0} command.
 \end{enum}
 
 \subsection{Authentication}