diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-11-13 13:13:43 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-13 13:13:43 +0000 |
commit | cdbe6f978bf6de9a1b389cebc02dc74666b7a4ee (patch) | |
tree | c2013228f14222a3fd7f373f3a815edac38806b7 /main.tex | |
parent | fae93d199b799b3b7ecf9900cec81e548de99d83 (diff) | |
download | oopsla21_fvhls-cdbe6f978bf6de9a1b389cebc02dc74666b7a4ee.tar.gz oopsla21_fvhls-cdbe6f978bf6de9a1b389cebc02dc74666b7a4ee.zip |
Update some sections
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -71,6 +71,7 @@ \newcommand{\vericert}{Veri\-cert}% \newcommand{\compcert}{Comp\-Cert}% +\newcommand{\legup}{LegUp}% \begin{document} |