You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Anders Christiansen Sørby 8ea5742b08 feat(languages): Lean experimental tree-sitter-lean (#1422) ... * Add experimental tree-sitter-lean * Run docgen * Copy over the queries from lean.nvim * Update .gitmodules Co-authored-by: Ivan Tham <pickfire@riseup.net> * Update lean highlights and run docgen * Update runtime/queries/lean/injections.scm Co-authored-by: Michael Davis <michael.davis@nfiindustries.com> * Lean: Move variable matcher to bottom * Update runtime/queries/lean/locals.scm Co-authored-by: Michael Davis <michael.davis@nfiindustries.com> Co-authored-by: Ivan Tham <pickfire@riseup.net> Co-authored-by: Michael Davis <michael.davis@nfiindustries.com>		2 years ago
..
generated	feat(languages): Lean experimental tree-sitter-lean (#1422)	2 years ago
guides	feat(lsp): configurable diagnostic severity (#1325)	3 years ago
SUMMARY.md	Auto generate docs for language support	3 years ago
commands.md	docs: Auto generate command list	3 years ago
configuration.md	docs: editor.filepicker -> editor.file-picker (#1465)	3 years ago
from-vim.md	Improve docs, fix up a few highlight scopes	3 years ago
hooks.md	Add book/ (mdbook based user guide)	3 years ago
install.md	Add instructions for Fedora Linux (#1270)	3 years ago
keymap.md	Minor(book): Add `G` in normal mode (#1482)	3 years ago
lang-support.md	Auto generate docs for language support	3 years ago
languages.md	feat(lsp): configurable diagnostic severity (#1325)	3 years ago
remapping.md	Update book to include typable command remapping (#1240)	3 years ago
themes.md	docs: document @keyword.control.exception scope	3 years ago
usage.md	Implement black hole register (#1165)	3 years ago