coq-lsp
coq-lsp copied to clipboard
[petanque] Allow clients to set file contents
This is useful for pytanque, however the PR in this form is likely not good, maybe we want instead to add a shell-specific setContents(uri, contents) call.