Skip to content

[lsp] folding ranges

Loïc Correnson requested to merge feature/lsp/folding-ranges into master

Compute folding ranges, corresponding to (*proof*)…(*qed*) and other sections.

Also fixes incorrect highlighting of module uses.

Edited by Loïc Correnson

Merge request reports