repaired latex (cf. 7bb0cf27c243);

--- 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}