无法启动CoqIde

Question

一切都很好，直到我改变了偏好、->外部、CoqIde中的-> coqtop，然后我发现自己在启动CoqIde时遇到了麻烦，如图所示。似乎我在coqtop中写错了路。我试图重新安装coqplatform，但它似乎毫无用处。那么我如何重新启动我的CoqIde呢？

​

Answer 1

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

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

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

您需要删除该文件夹中的文件coqiderc (或使用文本编辑器修复它)。