Code

More errata#226

Code

Open

amackay wants to merge 3 commits intometamath:mastermetamath/metamath-book:masterfrom amackay:more-errataamackay/metamath-book:more-errataCopy head branch name to clipboard

+89-47

Commits

Commits on Aug 16, 2020

• Fix many minor issues, mostly grammatical

  amackay

  committed
  a7b761c

  Copy full SHA for a7b761c

• Errata.md: Duplicate output on page 103

  amackay

  committed
  7cae10c

  Copy full SHA for 7cae10c

Commits on Aug 17, 2020

• Update errata.md to include recently fixed issues

  amackay

  committed
  505b93b

  Copy full SHA for 505b93b