From e94c98b19b5aa0da5e0cef779984aa93adc66906 Mon Sep 17 00:00:00 2001
From: John Wickerson <j.wickerson@imperial.ac.uk>
Date: Wed, 18 Nov 2020 16:21:25 +0000
Subject: Update on Overleaf.

---
 main.tex | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/main.tex b/main.tex
index c1bb1a1..0ba45e2 100644
--- a/main.tex
+++ b/main.tex
@@ -50,6 +50,9 @@
 \setminted{fontsize=\small}
 \usemintedstyle{manni}
 
+\newif\ifANONYMOUS
+\ANONYMOUStrue
+
 \newif\ifCOMMENTS
 \COMMENTStrue
 \newcommand{\Comment}[3]{\ifCOMMENTS\textcolor{#1}{{\bf [\![#2:} #3{\bf ]\!]}}\fi}
@@ -75,9 +78,13 @@
 \newcommand\yhfunction[1]{\texttt{\textcolor{functioncolour}{#1}}}
 \newcommand\yhconstant[1]{\texttt{\textcolor{constantcolour}{#1}}}
 
-\newcommand{\vericert}{Veri\-cert}%
-\newcommand{\compcert}{Comp\-Cert}%
-\newcommand{\legup}{Leg\-Up}%
+\ifANONYMOUS
+\newcommand{\vericert}{Coq\-Up}
+\else
+\newcommand{\vericert}{Veri\-cert}
+\fi
+\newcommand{\compcert}{Comp\-Cert}
+\newcommand{\legup}{Leg\-Up}
 
 \begin{document}
 
-- 
cgit