From 500301f56c44a1acb5851721cdb7c9404d0ff8fa Mon Sep 17 00:00:00 2001
From: John Wickerson <j.wickerson@imperial.ac.uk>
Date: Tue, 17 Nov 2020 22:12:02 +0000
Subject: Update on Overleaf.

---
 main.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 84890f5..99d32aa 100644
--- a/main.tex
+++ b/main.tex
@@ -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}
-- 
cgit