[doc] document the use of the LSP with emacs (!158) · Merge requests · pub / Why3find

Benjamin Jorge requested to merge emacs-lsp-instructions into master Dec 12, 2024

The LSP seems to work at superficial level, but I get ugly Warning (lsp-mode): Unknown request method: workspace/foldingRange/refresh warnings at startup and each time I save (see #119 (closed))

Fix #118 (closed)

[doc] document the use of the LSP with emacs

Merge request reports