| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | refactor: rename "server_configurations" => "configs" #3330 | Justin M. Keyes | 2024-10-01 | 1 | -52/+0 |
| * | feat(leanls): add support for lakefile.toml-only packages (#3238) | Julian Berman | 2024-07-18 | 1 | -29/+4 |
| * | fix(leanls): move legacy_cmd -> options.non_lake_lsp_cmd | Julian Berman | 2022-02-18 | 1 | -4/+7 |
| * | fix(leanls): support new src/lean directory | Gabriel Ebner | 2022-02-10 | 1 | -0/+6 |
| * | fix(leanls): only use lake serve if lakefile.lean exists | Gabriel Ebner | 2022-02-09 | 1 | -15/+20 |
| * | feat(leanls): start the LSP via lake serve (#1698) | Julian Berman | 2022-02-05 | 1 | -1/+18 |
| * | feat(leanls): add root dir as command-line arg (#1634) | Gabriel Ebner | 2022-01-04 | 1 | -0/+4 |
| * | fix: use forward delineated paths in leanlsps (#1610) | Julian Berman | 2021-12-26 | 1 | -1/+2 |
| * | chore: clean up imports | Michael Lingelbach | 2021-11-25 | 1 | -1/+1 |
| * | feat: expose configs | Michael Lingelbach | 2021-11-25 | 1 | -0/+41 |
 |
index : nvim-lspconfig | |
| [no description] | git mirrorbot |
| aboutsummaryrefslogtreecommitdiffstats |