Merge branch '341-reference-previous-specifications-other-material' o…

…f github.com:IntersectMBO/formal-ledger-specifications into 341-reference-previous-specifications-other-material
IntersectMBO · Feb 19, 2025 · 54457e4 · 54457e4
2 parents 3d5c088 + 2b48970
commit 54457e4
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/src/Ledger/Introduction.lagda b/src/Ledger/Introduction.lagda
@@ -49,7 +49,7 @@ Era  & Figures & Prose & Cleanup \\
 \hline
 \endhead
 Shelley~\cite{shelley-ledger-spec} & Partial & Partial & Not started \\
-Shelley-MA~\cite{shelley-ma-spec} & Partial & Partial & Not started \\
+Shelley-MA~\cite{shelley-ma-ledger-spec} & Partial & Partial & Not started \\
 Alonzo~\cite{alonzo-ledger-spec} & Partial & Partial & Not started \\
 Babbage~\cite{babbage-ledger-spec} & Not started & Not started & Not started \\
 Conway~\cite{cip1694} & Complete & Partial & Partial \\

diff --git a/src/latex/conway-ledger.tex b/src/latex/conway-ledger.tex
@@ -25,7 +25,7 @@
 \begin{abstract}
   This document presents the modifications to the previous
   specifications of the Cardano ledger (see
-  \cite{cardano_shelley_spec,cardano_shelley_ma_spec,cardano_alonzo_spec,cardano_babbage_spec})
+  \cite{shelley-ledger-spec,shelley-ma-ledger-spec,alonzo-ledger-spec,babbage-ledger-spec})
   for the Conway era.
 
   The additions mostly relate to the implementation of the governance
@@ -40,7 +40,7 @@ \section*{List of Contributors}
 \tableofcontents
 
 \include{Conway/Ledger/Introduction}
-\include{Conway/Ledger/Notation}
+\include{Notation}
 \include{Conway/Ledger/PParams}
 \include{Conway/Ledger/Fees}
 \include{Conway/Ledger/GovernanceActions}

diff --git a/src/latex/references.bib b/src/latex/references.bib
@@ -657,7 +657,7 @@ @misc{shelley-ledger-spec
   note = {\LaTeX source: {\url{https://github.com/intersectmbo/cardano-ledger/tree/master/eras/shelley/formal-spec/shelley-ledger.tex}}; Accessed: 2024-07-30}
 }
 
-@misc{shelley-ma-spec,
+@misc{shelley-ma-ledger-spec,
   label = {CdoLedger},
   title        = {{A Formal Specification of the Cardano Ledger with a Native Multi-Asset Implementation}},
   author       = {Polina Vinogradova and Andre Knispel},