diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-06-30 15:03:47 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-30 15:03:47 +0100 |
commit | 7ccf35966e15de7daa30351ddde04663cab38e3c (patch) | |
tree | 74d510d667b1eaaa5c958cae731388c0df304c55 /main.tex | |
parent | 0cef8950a05b85547ce491b34c12b5e285449e28 (diff) | |
download | oopsla21_fvhls-7ccf35966e15de7daa30351ddde04663cab38e3c.tar.gz oopsla21_fvhls-7ccf35966e15de7daa30351ddde04663cab38e3c.zip |
Add examples
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -49,6 +49,8 @@ \usepackage{tikz} \usepackage{minted} +\setminted{fontsize=\small, baselinestretch=1, frame=lines} + \newif\ifCOMMENTS \COMMENTStrue \newcommand{\Comment}[3]{\ifCOMMENTS\textcolor{#1}{{\bf [\![#2:} #3{\bf ]\!]}}\fi} |