Stream: VsCoq devs & users

Topic: ✔ How to restart vscoq?


view this post on Zulip 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.

view this post on Zulip Théo Winterhalter (Dec 17 2021 at 10:17):

With the palette you can use "Developer: Reload window" for instance.

view this post on Zulip Fabian Kunze (Dec 17 2021 at 10:17):

I usually use the 'reload window' command to restart vscode.
F1 -> reload window

view this post on Zulip Notification Bot (Dec 17 2021 at 11:05):

Ali Caglayan has marked this topic as resolved.


Last updated: Jan 30 2023 at 18:04 UTC