| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat: expose configs | Michael Lingelbach | 2021-11-25 | 1 | -48/+0 |
| | | |||||
| * | docs: add a direct link to lean.nvim (for leanls and lean3ls) (#1062) | Julian Berman | 2021-07-23 | 1 | -1/+1 |
| | | | | * update language of metals to bring it in line with lean | ||||
| * | chore: change stylua to single quotes (#1068) | Michael Lingelbach | 2021-07-13 | 1 | -7/+7 |
| | | |||||
| * | ci: lint and format with stylua | Michael Lingelbach | 2021-07-03 | 1 | -19/+19 |
| | | |||||
| * | Remove package_json link from metals. | ckipp01 | 2021-01-10 | 1 | -1/+0 |
| | | | | | | | | | | Many of the settings that this link shows are reliant on specific things like code lenses working. I think it's a better idea to not show these as there are a handful of them that if a user would use them, they won't work at all, and in the worst case they actual may cause errors due to unsupported handlers or LSP extensions. | ||||
| * | Remove all installers and install logic | Michael Lingelbach | 2021-01-03 | 1 | -75/+18 |
| | | |||||
| * | Rename nvim_lsp to lspconfig | Hirokazu Hata | 2020-09-06 | 1 | -0/+106 |
 |
index : nvim-lspconfig | |
| [no description] | git mirrorbot |
| aboutsummaryrefslogtreecommitdiffstats |