Ali Caglayan (Dec 17 2021 at 10:02): Ali Caglayan (Dec 17 2021 at 10:02):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.
Théo Winterhalter (Dec 17 2021 at 10:17):With the palette you can use "Developer: Reload window" for instance.
Fabian Kunze (Dec 17 2021 at 10:17):I usually use the 'reload window' command to restart vscode.
F1 -> reload window
Notification Bot (Dec 17 2021 at 11:05):Ali Caglayan has marked this topic as resolved.
Last updated: Jun 04 2023 at 23:30 UTC