diff --git a/doc/manpages.tex b/doc/manpages.tex index 2e06c2a692d5e037926a9e623bc6ac602e60a58e..f309f31c3b90106faf1add999fee8b3d202a598c 100644 --- a/doc/manpages.tex +++ b/doc/manpages.tex @@ -822,7 +822,7 @@ proof'' example of Section~\ref{chap:starting}. == Statistics per prover: number of proofs, time (minimum/maximum/average) in seconds == Alt-Ergo 0.99.1 : 3 0.00 0.00 0.00 - \end{verbatim} +\end{verbatim} } \subsection{Command \texttt{latex}}