nvim-lspconfig - [no description]

	Commit message (Collapse)	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
\| \| \| \| \| \| \| \| \| \| \| \|	* 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/+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
\| \| \|	* 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
\|
*	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
\| \| \| \| \|	(Otherwise, the existing root_dir won't enable leanls for the normal style of lean package.)
*	Rename nvim_lsp to lspconfig	Hirokazu Hata	2020-09-06	1	-0/+22