Code

Add diagrams to pdf#639

Code

Draft

williamdemeo wants to merge 7 commits intomasterIntersectMBO/formal-ledger-specifications:masterfrom 621-add-diagrams-to-pdfIntersectMBO/formal-ledger-specifications:621-add-diagrams-to-pdfCopy head branch name to clipboard

+415

Commits

Commits on Jan 6, 2025

• new tikz version of old shelley diagram

  williamdemeo

  committed
  242e3c8

  Copy full SHA for 242e3c8

Commits on Jan 7, 2025

• tikz for all five figures

  Show description for 4035ca9
  williamdemeo

  committed
  4035ca9

  Copy full SHA for 4035ca9

Commits on Jan 8, 2025

• add diagrams in separate files

  Show description for 0a3c4ee
  williamdemeo

  committed
  0a3c4ee

  Copy full SHA for 0a3c4ee

• improvements

  williamdemeo

  committed
  b0da47f

  Copy full SHA for b0da47f

Commits on Jan 13, 2025

• Merge branch 'master' into 621-add-diagrams-to-pdf

  williamdemeo

  committed
  53f4b84

  Copy full SHA for 53f4b84

Commits on Jan 15, 2025

• fix bugs

  williamdemeo

  committed
  a8937db

  Copy full SHA for a8937db

• Merge branch 'master' into 621-add-diagrams-to-pdf

  williamdemeo

  authored
  acf6bcd

  Copy full SHA for acf6bcd