diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-11-17 22:12:02 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-11-18 08:26:31 +0000 |
commit | 500301f56c44a1acb5851721cdb7c9404d0ff8fa (patch) | |
tree | f7fa93ab186987f89b68600b720b42700ddb0fb0 /main.tex | |
parent | 19830a4d93bf2bd5ee7526870e3a6bacb6a3a03a (diff) | |
download | oopsla21_fvhls-500301f56c44a1acb5851721cdb7c9404d0ff8fa.tar.gz oopsla21_fvhls-500301f56c44a1acb5851721cdb7c9404d0ff8fa.zip |
Update on Overleaf.
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -58,7 +58,8 @@ \newcommand\JWcouldcut[1]{{\st{#1}}} \newcommand\NRcouldcut[1]{{\st{#1}}} -\newcommand\NRreplace[2]{{\st{#1} #2}} +\newcommand\NRreplace[2]{{\st{#1} \textcolor{blue}{#2}}} +\newcommand\JWreplace[2]{{\st{#1} \textcolor{red!75!black}{#2}}} \definecolor{compcert}{HTML}{66c2a5} \definecolor{formalhls}{HTML}{fc8d62} |