Code

[MathNotation] Implement Sectioning#299

Code

Merged

shingarov merged 5 commits intopure-z3shingarov/MachineArithmetic:pure-z3from sectioningshingarov/MachineArithmetic:sectioningCopy head branch name to clipboardJun 26, 2024

+273-36

Commits

Commits on Jun 24, 2024

• [PreSmalltalks] Allow RBNodes to signal parserErrors

  Show description for 30c036d
  shingarov

  committed
  30c036d

  Copy full SHA for 30c036d

• [PreSmalltalks] Abort first attempt at holes

  shingarov

  committed
  ceaa82a

  Copy full SHA for ceaa82a

• [MathNotation] Implement lexical scanning of holes

  shingarov

  committed
  ec98e87

  Copy full SHA for ec98e87

• [MathNotation] Implement sectioning

  Show description for 029dbd6
  shingarov

  committed
  029dbd6

  Copy full SHA for 029dbd6

• [Sectioning] Signal parserError if □ is used in something other than a message send

  shingarov

  committed
  799f663

  Copy full SHA for 799f663