Commit d4d9c914 authored by Glen Mével's avatar Glen Mével
Browse files

ICFP21 paper: tweak space between subfigures

parent 01460ddf
......@@ -45,10 +45,11 @@ We detail these definitions in the following sections.
\begin{figure}
\input{figure-queue-axioms-isqueue}
\mbox{}\vfil\mbox{}
\mbox{}\vspace{8mm}\mbox{}
\input{figure-queue-axioms-witness}
\mbox{}\vfil\mbox{}
\mbox{}\vspace{8mm}\mbox{}
\input{figure-queue-axioms-token}
\mbox{}\vspace{2mm}\mbox{}
\Description{Axiomatic description the ghost state of the queue.}
\caption{Axiomatic description of the ghost state of the queue}
\label{fig:queue:axioms}
......
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