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.
helix/book/src
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>
3 years ago
..
generated feat(languages): Lean experimental tree-sitter-lean (#1422) 3 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) 4 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