diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-06-27 19:45:57 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-27 19:45:57 +0100 |
commit | 32f043997985bea5c1df1e795bdca6d9902ba5f9 (patch) | |
tree | acab5c12ed5a0cd2064101eb37f21c36f42f04b6 /main.tex | |
parent | 3adbaf460ffb2531b05a55a6f38ba1654a8058c3 (diff) | |
download | oopsla21_fvhls-32f043997985bea5c1df1e795bdca6d9902ba5f9.tar.gz oopsla21_fvhls-32f043997985bea5c1df1e795bdca6d9902ba5f9.zip |
Add more semantics
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -50,7 +50,7 @@ \usepackage{minted} \newif\ifCOMMENTS -\COMMENTStrue +\COMMENTSfalse \newcommand{\Comment}[3]{\ifCOMMENTS\textcolor{#1}{{\bf [\![#2:} #3{\bf ]\!]}}\fi} \newcommand\JW[1]{\Comment{red!75!black}{JW}{#1}} \newcommand\YH[1]{\Comment{green!50!blue}{YH}{#1}} |