nvim-lspconfig/lua/lspconfig/lean3ls.lua, branch v0.1.5

feat: expose configs

2021-11-26T04:46:21Z

fix(leanls): make opening nonexisting directories work (#1474)

2021-11-23T18:33:47Z

feat: add single file mode (#1385)

2021-11-11T09:00:24Z

* This adds a "single file mode" option for each language server * Currently, if a root is not detected, a new language server is started for each file opened. * Root directory is set to `nil` in start_client. Some servers will refuse to start, or otherwise panic. This is opt-in per server. * Some servers, such as rust-analyzer, explicitly have a "single file mode", we will not support that until it is officially part of the LSP specification Co-authored-by: Peter Lithammer

feat(leanls,lean3ls): add support for Lean 3/4 standard libraries (#1156)

2021-09-05T15:17:32Z

chore: remove modeline (#1177)

2021-08-24T14:12:38Z

docs: add a direct link to lean.nvim (for leanls and lean3ls) (#1062)

2021-07-24T04:21:56Z

* update language of metals to bring it in line with lean

chore: change stylua to single quotes (#1068)

2021-07-13T17:41:39Z

ci: lint and format with stylua

2021-07-03T22:49:27Z

improve(lean3ls): increase the default memory and timeout limits

2021-06-27T11:46:07Z

Matches our VSCode's default found here: https://github.com/leanprover/vscode-lean/blob/ca764c60acbfaeaca55a681bc0be65f84b0cae44/package.json#L32-L41

feat(lean): add support for Lean 4 language server

2021-06-13T19:21:12Z