| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat: expose configs | Michael Lingelbach | 2021-11-25 | 1 | -42/+0 |
| * | fix(leanls): make opening nonexisting directories work (#1474) | Julian Berman | 2021-11-23 | 1 | -5/+0 |
| * | feat(leanls): lean 4 uses a new tool called lake now (#1390) | Julian Berman | 2021-11-11 | 1 | -2/+4 |
| * | feat: add single file mode (#1385) | Michael Lingelbach | 2021-11-11 | 1 | -4/+2 |
| * | feat(leanls,lean3ls): add support for Lean 3/4 standard libraries (#1156) | Rishikesh Vaishnav | 2021-09-05 | 1 | -4/+13 |
| * | chore: remove modeline (#1177) | Michael Lingelbach | 2021-08-24 | 1 | -1/+0 |
| * | 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 |
| * | feat(lean): add support for Lean 4 language server | Rishikesh Vaishnav | 2021-06-13 | 1 | -6/+15 |
| * | Have leanls use util.find_git_ancestor. | Julian Berman | 2020-12-22 | 1 | -2/+4 |
| * | Rename nvim_lsp to lspconfig |
 |
index : nvim-lspconfig | |
| [no description] | git mirrorbot |
| aboutsummaryrefslogtreecommitdiffstats |