The module lspManager implements the main SEL event lsp
which deals with LSP requests plus some VSCoq specific messages.
vscoqtop is a Coq toplevel that initializes Coq and then runs
a SEL loop for the lsp event.
vscoqtop
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||