I installed Coq in my system from the default installer. Then I added proof general to my existing emacs. But the problem is when I try to run a command in emacs I find the following from emacs,
Searching for program no such file or directory coqtop
I believe there are some configuration errors.
Looking forward to your thoughts.