| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat: expose configs | Michael Lingelbach | 2021-11-25 | 1 | -45/+0 |
| * | fix(leanls): make opening nonexisting directories work (#1474) | Julian Berman | 2021-11-23 | 1 | -5/+0 |
| * | feat: add single file mode (#1385) | Michael Lingelbach | 2021-11-11 | 1 | -1/+1 |
| * | feat(leanls,lean3ls): add support for Lean 3/4 standard libraries (#1156) | Rishikesh Vaishnav | 2021-09-05 | 1 | -4/+14 |
| * | 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 |
| * | 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 |