Improve formatting of appendix cross-references.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2019-11-10 20:29:18 +00:00
parent 7f55b54b7c
commit 624aa9eaa1
1 changed files with 4 additions and 3 deletions

View File

@ -244,6 +244,7 @@
\newcommand{\callout}[2]{\vspace{1ex plus 2pt minus 2pt}#1\textbf{#2}\hspace{1em}}
\newcommand{\historyentry}[2]{\introlist\headingandlabel{\callout{}{#1}{#2}}{\##1}\label{#1}}
\renewcommand{\appendixautorefname}{ }
\renewcommand{\sectionautorefname}{ }
\renewcommand{\subsectionautorefname}{ }
\renewcommand{\subsubsectionautorefname}{ }
@ -7905,7 +7906,7 @@ the presentation in \cite{Groth2016}.
\pnote{
The \quadraticConstraintPrograms verifying the \spendStatement and
\outputStatement are described in \crossref{circuitdesign}. However, many
\outputStatement are described in Appendix \crossref{circuitdesign}. However, many
other details of the \provingSystem are beyond the scope of this protocol
document. For example, certain details of the translations of the \spendStatement and
\outputStatement to \quadraticArithmeticPrograms are not specified in this document.
@ -10672,7 +10673,7 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
on May~10--11, 2018.
\item Generalize $\PRFexpand{}$ to accept an arbitrary-length input. (This specification does not
use that generalization, but \cite{ZIP-32} does.)
\item Change the notation for a multiplication constraint in \crossref{circuitdesign} to avoid
\item Change the notation for a multiplication constraint in Appendix \crossref{circuitdesign} to avoid
potential confusion with cartesian product.
\item Clarify the wording of the abstract.
\item Correct statements about which algorithms are instantiated by $\BlakeTwosGeneric$ and
@ -10957,7 +10958,7 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
\begin{itemize}
\item No changes to \Sprout.
\sapling{
\item \Sapling work in progress, mainly on \crossref{circuitdesign}.
\item \Sapling work in progress, mainly on Appendix \crossref{circuitdesign}.
}
\end{itemize}