| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | docs: add a direct link to lean.nvim (for leanls and lean3ls) (#1062) | Julian Berman | 2021-07-23 | 1 | -0/+4 |
| * | chore: change stylua to single quotes (#1068) | Michael Lingelbach | 2021-07-13 | 1 | -6/+6 |
| * | ci: lint and format with stylua | Michael Lingelbach | 2021-07-03 | 1 | -13/+15 |
| * | improve(lean3ls): increase the default memory and timeout limits | Julian Berman | 2021-06-27 | 1 | -1/+1 |
| * | feat(lean): add support for Lean 4 language server | Rishikesh Vaishnav | 2021-06-13 | 1 | -0/+35 |
 |
index : nvim-lspconfig | |
| [no description] | git mirrorbot |
| aboutsummaryrefslogtreecommitdiffstats |