ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
135 stars 31 forks source link

[petanque] Allow clients to set file contents #790

Open ejgallego opened 3 weeks ago

ejgallego commented 3 weeks ago

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.