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
coqtop.cmi
coqtop.1
coqtop.byte.1
coqtop.opt.1

C:Program Files (x86)Coq^Hincoqtop.exe: command not found.