diff --git a/protocol/protocol.tex b/protocol/protocol.tex index 7f661b16..f5d5977e 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -10229,7 +10229,9 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}. \begin{itemize} \item Clicking on a section heading now shows section labels. +\notsprout{ \item Add a \snarkref{List of Theorems and Lemmata}{theorems}. +} \item Changes needed to support TeXLive 2019. \end{itemize}