diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-11 20:58:25 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-11 20:58:25 +0100 |
| commit | 6057feb2544abd86131adaf2ac4eeca2f1a926bb (patch) | |
| tree | b025543a6a1a14be56a922938610add2c69df164 /related.tex | |
| parent | 28256833310c6fe14280c246a096f9dd45d20abd (diff) | |
| download | oopsla21_fvhls-6057feb2544abd86131adaf2ac4eeca2f1a926bb.tar.gz oopsla21_fvhls-6057feb2544abd86131adaf2ac4eeca2f1a926bb.zip | |
Add city and description
Diffstat (limited to 'related.tex')
| -rw-r--r-- | related.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/related.tex b/related.tex index 656bc1a..cfc8a6e 100644 --- a/related.tex +++ b/related.tex @@ -37,8 +37,8 @@ \node[align=right] at (2.6,-1.7) {\color{colormechanised}Mechanised \\ \color{colormechanised}correctness proof}; \node at (-2.8,4.1) {\color{colorusabletool}\strut Usable tool}; \node at (2.1,4.1) {\color{colorhighlevel}\strut High-level software input}; - \end{tikzpicture} + \Description{A Venn diagram containing the related works.} \caption{Summary of related work}\label{fig:related_euler} \end{figure} |