Code

chore: bump to v4.15.0-rc1#61

Code

Merged

kim-em merged 3 commits intomasterleanprover-community/repl:masterfrom bump_to_v4.15.0-rc1leanprover-community/repl:bump_to_v4.15.0-rc1Copy head branch name to clipboardJan 8, 2025

+30-25

Commits

Commits on Dec 2, 2024

• chore: bump to v4.15.0-rc1

  kim-em

  committed
  ce4fe38

  Copy full SHA for ce4fe38

Commits on Jan 8, 2025

• fix InfoTree.lean (cf. leanprover/lean4#5835)

  bryangingechen

  committed
  ddca959

  Copy full SHA for ddca959

• fix: workaround for Meta.Context.config private (#64)

  llllvvuu

  authored
  ad380d5

  Copy full SHA for ad380d5