nvim-lspconfig/lua/lspconfig/server_configurations/lean3ls.lua, branch v0.1.4
[no description]
http://git.sudomsg.com/mirror/nvim-lspconfig/atom/lua/lspconfig/server_configurations/lean3ls.lua?h=v0.1.4
2022-04-10T05:13:08Z
docs: remove outdated root pattern references (#1828)
2022-04-10T05:13:08Z
Michael Lingelbach
m.j.lbach@gmail.com
2022-04-10T05:13:08Z
urn:sha1:b747b20caea209354114f5e2566027df8ddba767
fix: use forward delineated paths in leanlsps (#1610)
2021-12-26T15:58:40Z
Julian Berman
Julian@GrayVines.com
2021-12-26T15:58:40Z
urn:sha1:1aa05163361331e881c6130781c01d93b63f9232
chore: format with stylua (#1557)
2021-12-10T23:03:22Z
Michael Lingelbach
m.j.lbach@gmail.com
2021-12-10T23:03:22Z
urn:sha1:e6d95863a336b7e52c92b38c62aa60b469254d14
fix(lean3ls): use utf-32 offset encoding (#1465)
2021-12-10T20:09:49Z
Rishikesh Vaishnav
rishhvaishnav@gmail.com
2021-12-10T20:09:49Z
urn:sha1:453390dff336b72b6b5c97b0b6ee5ff334ced26a
fix(npm): resolve the command correctly on windows
2021-12-08T08:09:25Z
kylo252
59826753+kylo252@users.noreply.github.com
2021-12-01T08:03:10Z
urn:sha1:a2719a8723e503f1be89d9b1c334846de405eb23
chore: clean up imports
2021-11-26T04:46:21Z
Michael Lingelbach
m.j.lbach@gmail.com
2021-11-25T17:40:39Z
urn:sha1:97da7ed12e7e0d86e735e38a8170e941d4ed3e9a
feat: expose configs
2021-11-26T04:46:21Z
Michael Lingelbach
m.j.lbach@gmail.com
2021-11-25T04:01:07Z
urn:sha1:6c2fb86c6a03e20abea5ddd17d735885f0b7cb5e