Huan Sun
Huan Sun

Reputation: 167

can't launch CoqIde

Everything is fine until I changed the preferences -> Externals -> coqtop in CoqIde and then I found myself in trouble launching CoqIde as the picture shows. It seems that I wrote the wrong path in the coqtop. I have tried to reinstall the coqplatform and It seems useless. So how can I restart my CoqIde?
enter image description here

Upvotes: 1

Views: 137

Answers (1)

M Soegtrop
M Soegtrop

Reputation: 1448

On Windows the user configuration files of CoqIDE are in:

C:\Users\<Yourname>\AppData\Local\coq

Please note that AppData is typically a hidden folder, so you can't see it. Either enable display of hidden folders in file explorer or use the console.

You need to delete the file coqiderc in this folder (or fix it with a text editor).

Upvotes: 2

Related Questions