When hacking away on coq, I like to jump into a v file and test stuff without having to fire up coqide. I usually do this by targeting the coq binary in _build. However, if I accidentally start the proof without a binary having been found vscoq just hangs and I have no idea how to restart it.
With the palette you can use "Developer: Reload window" for instance.
I usually use the 'reload window' command to restart vscode.
F1 -> reload window
Ali Caglayan has marked this topic as resolved.
Last updated: Jan 30 2023 at 18:04 UTC