Issues

• German: translating metasyntactic identifiers etc.

  metamath/metamath-book#245 · Filter by author avekens opened on Dec 9, 2023
  1

• Minor typos

  metamath/metamath-book#242 · Filter by author mikaberidze opened on Mar 27, 2023

• somewhat pedantic whitespace erratum, section 4.1.2

  metamath/metamath-book#239 · Filter by author icecream17 opened on Dec 3, 2022
  3

• Label changes

  metamath/metamath-book#238 · Filter by author benjub opened on Sep 13, 2022
  3

• what is the fourth property for a frame?

  metamath/metamath-book#236 · Filter by author drvdw opened on May 11, 2022
  1

• Fails to build with TeXLive 2022 because of bug in unmaintained "tabu"

  metamath/metamath-book#235 · Filter by author aaronpuchert opened on Apr 27, 2022
  1

• Formal grammar (comments)

  metamath/metamath-book#233 · Filter by author benjub opened on Jan 16, 2022
  2

• Formal grammar

  metamath/metamath-book#232 · Filter by author benjub opened on Jan 13, 2022

• Clarification of terms "symbol" and "token"

  metamath/metamath-book#231 · Filter by author avekens opened on Jan 6, 2022
  2

• Typo in ax-10?

  metamath/metamath-book#230 · Filter by author zengxu-yang opened on Aug 12, 2021
  2

• State inconsistency limitation more precisely

  metamath/metamath-book#229 · Filter by author david-a-wheeler opened on Apr 19, 2021
  1

• Fix axioms

  metamath/metamath-book#228 · Filter by author david-a-wheeler opened on Mar 7, 2021

• Rename id1 => idALT

  metamath/metamath-book#227 · Filter by author david-a-wheeler opened on Nov 1, 2020

• Typos in definitions for set Theory (section 3.4.3)

  metamath/metamath-book#224 · Filter by author avekens opened on Sep 9, 2019
  4

• Duplicate index entry

  metamath/metamath-book#223 · Filter by author benjub opened on Aug 24, 2019

• Obsolete Axiom ax-c16 mentioned!?

  metamath/metamath-book#222 · Filter by author avekens opened on Aug 20, 2019