The Coq mailing list

[CJ Bell <siegebell+coq AT gmail.com>]

> or 2)
> $ export COQBIN=/cygdrive/c/Program\ Files\ \(x86\)/Coq/bin

Oops! I think COQBIN expects a trailing slash, so the above should be:

$ export COQBIN=/cygdrive/c/Program\ Files\ \(x86\)/Coq/bin/

 -cj