All pull requests

Pull requests

• feat: move to tombi

  #803·mhuisi opened Oct 19, 2026Collaborator·

  ·
  1

  1

• A "wait for lean compilation" language model tool

  #795·mik-jozef opened Aug 6, 2026·

  ·
  3

• fix: respect infoview display settings for goals in messages (#734)

  #789·MohammadYusif opened Jun 19, 2026·

  ·
  1

• Support PowerShell Constrained Language Mode in the Windows Elan installer

  #788·davide-pozzoni-uk-gt opened Jun 19, 2026·

  ·

• test: new test framework

  #778·mhuisi opened May 2, 2026Collaborator·

  ·
  1

• Auto restart files with stale dependencies

  #776·samuela opened Apr 25, 2026·

  ·
  5

• fix: unicode file paths displayed as URI-encoded in the infoview

  #760·kuotsanhsu opened Apr 12, 2026·

  ·

• Fix typo in setting name, and add settings.json ID for clarity

  #754·samuela opened Apr 2, 2026·

  ·

• Update manual with PR instructions for abbreviations

  awaiting-author
  #684·kckennylau opened Oct 27, 2025Contributor·

  ·
  2

• Add $ to surroundingPairs configuration

  #625·hansonchar opened Jun 10, 2025·

  ·
  2

• feat: add a setting to disable the loading spinner animation

  #561·YnirPaz opened Dec 22, 2024·

  ·
  3