aboutsummaryrefslogtreecommitdiffstats
path: root/lua/lspconfig/leanls.lua
Commit message (Expand)AuthorAgeFilesLines
* feat: expose configsMichael Lingelbach2021-11-251-42/+0
* fix(leanls): make opening nonexisting directories work (#1474)Julian Berman2021-11-231-5/+0
* feat(leanls): lean 4 uses a new tool called lake now (#1390)Julian Berman2021-11-111-2/+4
* feat: add single file mode (#1385)Michael Lingelbach2021-11-111-4/+2
* feat(leanls,lean3ls): add support for Lean 3/4 standard libraries (#1156)Rishikesh Vaishnav2021-09-051-4/+13
* chore: remove modeline (#1177)Michael Lingelbach2021-08-241-1/+0
* docs: add a direct link to lean.nvim (for leanls and lean3ls) (#1062)Julian Berman2021-07-231-0/+4
* chore: change stylua to single quotes (#1068)Michael Lingelbach2021-07-131-6/+6
* ci: lint and format with styluaMichael Lingelbach2021-07-031-13/+15
* feat(lean): add support for Lean 4 language serverRishikesh Vaishnav2021-06-131-6/+15
* Have leanls use util.find_git_ancestor.Julian Berman2020-12-221-2/+4
* Rename nvim_lsp to lspconfigHirokazu Hata2020-09-061-0/+22
generated by cgit v1.2.3-70-g09d2 (git 2.52.0) at 2026-01-02 15:01:56 +0000