search

ejgallego / coq-lsp

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

[petanque] Allow to instrument with extra commands before proof start #769

Closed ejgallego closed 3 months ago

ejgallego commented 3 months ago

We add a new parameter pre_commands to start, which will be executed before starting the proof.