[petanque] Several tweaks from pet-server PR - Githubissues

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

GNU Lesser General Public License v2.1

137 stars 31 forks source link

[petanque] Several tweaks from pet-server PR #733

Closed ejgallego closed 2 months ago

ejgallego commented 2 months ago

In particular:

we cleanup the protocol.ml file to avoid confusion
improved return type for run_tac
handle missing file on start

cc: @gbdrt