Code

feat: add call hierarchy support#3082

Code

Merged

mhuisi merged 5 commits intoleanprover:masterleanprover/lean4:masterfrom mhuisi:mhuisi/call-hierarchymhuisi/lean4:mhuisi/call-hierarchyCopy head branch name to clipboardJan 25, 2024

+633-227

Commits

Commits on Jan 25, 2024

• refactor: enforce column limit in watchdog

  mhuisi

  committed
  e1a72b3

• refactor: LanguageFeatures alignment

  mhuisi

  committed
  e7932d3

• feat: add call hierarchy support

  mhuisi

  committed
  f3f2a0f

• doc: add a couple of missing docstrings

  mhuisi

  committed
  9d8564f

• doc: adjust RELEASES.md

  mhuisi

  committed
  06d5525