diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-11-18 22:05:46 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-18 22:05:58 +0000 |
| commit | e92eadcc05210de3fefb34450270e5929342097e (patch) | |
| tree | 9926236da0e8565194985dca319f7030869003f5 /main.tex | |
| parent | 3b7bb995249551aab27ba5e12c425f40df793773 (diff) | |
| download | oopsla21_fvhls-e92eadcc05210de3fefb34450270e5929342097e.tar.gz oopsla21_fvhls-e92eadcc05210de3fefb34450270e5929342097e.zip | |
Add theorems
Diffstat (limited to 'main.tex')
| -rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -54,7 +54,7 @@ \ANONYMOUStrue \newif\ifCOMMENTS -\COMMENTSfalse +\COMMENTStrue \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}} |