nvim-lspconfig - [no description]

	Commit message (Collapse)	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
\| \| \| \| \| \| \| \| \| \| \| \|	* 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 <peter.lithammer@gmail.com>
*	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
\| \| \|	* update language of metals to bring it in line with lean
*	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
\| \| \| \| \| \|	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	Rishikesh Vaishnav	2021-06-13	1	-0/+35