1 files 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}