[petanque] Split `pet-*` shell-specific functionality to its own library

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

Closed ejgallego closed 3 weeks ago

ejgallego commented 3 weeks ago

This way the JSON generic part of the protocol can be embedded by LSP without pulling the pet-* stuff.