From 578ebb9cc53d62d382737d231d8bae40470b6d97 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 18 Nov 2020 11:45:58 +0000
Subject: Archive introduction

---
 main.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'main.tex')

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}
-- 
cgit