Commit f9389f1f authored by Markus Klinik's avatar Markus Klinik
Browse files

line spacing in table

parent f86ce9c2
......@@ -53,6 +53,7 @@ Any producer-consumer scenario with a bounded buffer is not serializable at all,
The producer task and the consumer task must be executed in parallel.
\begin{table}
\tabulinesep=0.3em
\begin{tabu}{l|ll}
& parallelizable & not parallelizable
\\ \midrule
......
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