aboutsummaryrefslogtreecommitdiffstats
path: root/lua/lspconfig/server_configurations/lean3ls.lua
Commit message (Collapse)AuthorAgeFilesLines
* refactor: rename "server_configurations" => "configs" #3330Justin M. Keyes2024-10-011-46/+0
| | | | | | | | | | | | | | Problem: The name `server_configurations` is extremely verbose and irritatingly formal and dogmatic. This overlong name is a constant nuisance when reading, writing, and coding. It's also not even correct: these configurations are just as much "client" configurations as they are "server" configurations. Solution: - Rename to a shorter name. - Leave placeholder files for any old URLs that link to the old location.
* 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