search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
336 stars 68 forks source link

Add api for step navigation in continuous mode. #734

Closed rtetley closed 7 months ago

rtetley commented 7 months ago

Enabled the commands in the client and added the API to handle them in the language server. Closes #712.