Commit b34f9182 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix spurious space at end of verbatim block.

parent fd1b7c96
......@@ -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}}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment