我正在尝试使CoqIDE Vim 插件在 Windows 8.1 上运行。当我从 Vim 获取插件时，我收到以下错误消息：
coqtop.opt: command not found.
所以我查阅了插件文档，发现了似乎相关的部分：
"coqtop" should be accessible on PATH. If "coqtop" is not in your PATH, add 'let CoqIDE_coqtop = "/path/to/coqtop"' in your "~/.vimrc".
我不确定这意味着什么，但我猜测有一些名为coqtop的文件或目录必须对 vim 可见。所以我打开了我的 Coq 安装目录并搜索了coqtop. 搜索结果是：
coqtop
coqtop.cmi
coqtop.1
coqtop.byte.1
coqtop.opt.1
这里明显的第一个候选人是coqtop. 当我单击它时，它会打开一个交互式 Coq 控制台。但是当我使用let CoqIDE_coqtop命令将此文件链接到 Vim 并再次加载插件时，我得到：
C:Program Files (x86)Coq^Hincoqtop.exe: command not found.
看起来有问题的另一件事是文件类型。正如您从上面的错误消息中看到的，该coqtop文件具有.exe特定于 MS-DOS 和 Windows 的扩展名。但我不认为该插件是为处理.exe文件而编写的......
我还尝试使用所有其他搜索命中 as coqtop，但无济于事。
这是否意味着该插件在 Windows 上无用？如果有人可以确认我会放弃并使用其他 IDE。但如果可能的话，我真的，真的很想继续使用 Vim。