search

ejgallego / coq-lsp

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

[coq] Monitor Coq calls under a `token` interruption parameter. #661

Closed ejgallego closed 5 months ago

ejgallego commented 5 months ago

For now the interruption token is still the global Control.interrupt variable, but we adapt the code to the token interface.

This PR was part of #509.