我试图让CoqIDE Vim plugin在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文件一起使用而编写的......
我也尝试将所有其他搜索匹配用作coqtop，但无济于事。
这是否意味着该插件在Windows上无用？如果有人可以确认我会放弃并使用其他IDE。但如果可能的话，我真的非常想继续使用Vim。