diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-11-18 16:21:25 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-11-18 16:22:06 +0000 |
commit | e94c98b19b5aa0da5e0cef779984aa93adc66906 (patch) | |
tree | 93aea5a1fc6a6d096fe9c72b93e68d29804ed6ff | |
parent | 66eb409419f265c1d9218d217e75be91ccb4a565 (diff) | |
download | oopsla21_fvhls-e94c98b19b5aa0da5e0cef779984aa93adc66906.tar.gz oopsla21_fvhls-e94c98b19b5aa0da5e0cef779984aa93adc66906.zip |
Update on Overleaf.
-rw-r--r-- | main.tex | 13 |
1 files changed, 10 insertions, 3 deletions
@@ -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} |