aboutsummaryrefslogtreecommitdiffstats
path: root/lua/lspconfig/server_configurations/lean3ls.lua
Commit message (Expand)AuthorAgeFilesLines
* refactor: rename "server_configurations" => "configs" #3330Justin M. Keyes2024-10-011-46/+0
* fix: use exepath on server command (#2595)Raphael2023-05-091-9/+1
* docs: remove outdated root pattern references (#1828)Michael Lingelbach2022-04-091-1/+1
* fix: use forward delineated paths in leanlsps (#1610)Julian Berman2021-12-261-1/+2
* chore: format with stylua (#1557)Michael Lingelbach2021-12-101-1/+1
* fix(lean3ls): use utf-32 offset encoding (#1465)Rishikesh Vaishnav2021-12-101-0/+1
* fix(npm): resolve the command correctly on windowskylo2522021-12-081-1/+9
* chore: clean up importsMichael Lingelbach2021-11-251-1/+1
* feat: expose configsMichael Lingelbach2021-11-251-0/+44