无法启动 CoqIde

Question

一切都很好，直到我更改了 CoqIde 中的首选项 -> 外部 -> coqtop 然后我发现自己无法启动 CoqIde，如图所示。好像是我在coqtop里面写错了路径。我试图重新安装 coqplatform，但似乎没用。那么如何重新启动 CoqIde？

Answer 1

在Windows上，CoqIDE 的用户配置文件位于：

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

请注意，AppData 通常是一个隐藏文件夹，因此您看不到它。在文件资源管理器中启用隐藏文件夹的显示或使用控制台。

您需要删除此文件夹中的文件 coqiderc（或使用文本编辑器修复）。