[ ] Figure 25 of conway-ledger.pdf (Auxiliary DELEG transition system), the consequent of the DELEG-delegate rule is stretched out onto two lines.
[ ] Figure 18 of conway-ledger.pdf (the first figure in the Governance section) no longer fits on a single page. Probably needs to be split into two figures, unless we hide more stuff.
[ ] Figure 13 of conway-ledger.pdf (Functions used in UTxO rules), the definition of refScriptsSize overruns figure box width.
[ ] Figure 4 of conway-ledger.pdf (Protocol parameter well-formedness) definition of positivePParams overruns figure box width.
[ ] Figure 30 of conway-ledger.pdf (Types and function used for the ENACT transition system) insert blank line above "Type of the ENACT transition system."
[ ] Figure 38 of conway-ledger.pdf (The RATIFY transition system) the let block of RATIFY-Accept overruns figure box width.
[ ] Figure 41 of conway-ledger.pdf (EPOCH transition system) is too big to fit nicely on page.
conway-ledger.pdf(Auxiliary DELEG transition system), the consequent of theDELEG-delegaterule is stretched out onto two lines.conway-ledger.pdf(the first figure in the Governance section) no longer fits on a single page. Probably needs to be split into two figures, unless we hide more stuff.conway-ledger.pdf(Functions used in UTxO rules), the definition ofrefScriptsSizeoverruns figure box width.conway-ledger.pdf(Protocol parameter well-formedness) definition ofpositivePParamsoverruns figure box width.conway-ledger.pdf(Types and function used for the ENACT transition system) insert blank line above "Type of the ENACT transition system."conway-ledger.pdf(The RATIFY transition system) theletblock ofRATIFY-Acceptoverruns figure box width.conway-ledger.pdf(EPOCH transition system) is too big to fit nicely on page.