Commit 6c58544e by Peter Schwabe

### Removed some negative vspace commands (in front of \captions)

parent 5c5ac275
 ... ... @@ -48,7 +48,7 @@ $a^2 - 4$ is not a square in $\K$, we prove the correctness of the ladder (\tref \begin{figure}[h] \centering \include{tikz/highlevel1} \vspace{-0.5cm} % \vspace{-0.5cm} \caption{Overview of the proof of Montgomery ladder's correctness} \label{tikz:ProofHighLevel1} \end{figure} ... ... @@ -353,7 +353,7 @@ The white tiles are definitions while green tiles are important lemmas and theor \begin{figure}[h] \centering \include{tikz/highlevel2} \vspace{-0.5cm} % \vspace{-0.5cm} \caption{Proof dependencies for the correctness of X25519.} \label{tikz:ProofHighLevel2} \end{figure} ... ...
 ... ... @@ -180,7 +180,7 @@ under the same preconditions as used in the specification, \texttt{RFC} computes \begin{figure}[h] \centering \include{tikz/proof} \vspace{-0.5cm} % \vspace{-0.5cm} \caption{Structure of the proof.} \label{tikz:ProofOverview} \end{figure} ... ...
 ... ... @@ -163,7 +163,7 @@ Examples of such cases are illustrated in \fref{tikz:MemSame}. \begin{figure}[h]% \centering% \include{tikz/memory_same_sh}% \vspace{-0.5cm} %\vspace{-0.5cm} \caption{Aliasing and Separation Logic}% \label{tikz:MemSame}% \end{figure} ... ...
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!