Archive introduction

1 files changed, 2 insertions, 2 deletions

diff --git a/main.tex b/main.tex
index 1b21848..c1bb1a1 100644
--- a/main.tex
+++ b/main.tex
@@ -60,8 +60,8 @@
 
 \newcommand\JWcouldcut[1]{{\st{#1}}}
 \newcommand\NRcouldcut[1]{{\st{#1}}}
-\newcommand\NRreplace[2]{{\st{#1} \textcolor{blue}{#2}}}
-\newcommand\JWreplace[2]{{\st{#1} \textcolor{red!75!black}{#2}}}
+\newcommand\NRreplace[2]{{\st{#1} \NR{#2}}}
+\newcommand\JWreplace[2]{{\st{#1} \JW{#2}}}
 
 \definecolor{compcert}{HTML}{66c2a5}
 \definecolor{formalhls}{HTML}{fc8d62}