Code

feat: inlay hint refinements#6959

Code

Merged

mhuisi merged 3 commits intoleanprover:masterleanprover/lean4:masterfrom mhuisi:mhuisi/inlay-hint-refinementsmhuisi/lean4:mhuisi/inlay-hint-refinementsCopy head branch name to clipboardFeb 6, 2025

+200-64

Commits

Commits on Feb 5, 2025

• feat: inlay hint refinements

  mhuisi

  committed
  dc23a89

  Copy full SHA for dc23a89

Commits on Feb 6, 2025

• fix: timeout starvation, insufficient cancellation and edit delay

  mhuisi

  committed
  f3e5e4c

  Copy full SHA for f3e5e4c

• chore: use consistent timeout

  mhuisi

  committed
  76eb74f

  Copy full SHA for 76eb74f