The Coq mailing list

[BruinBear123 AT aol.com]

Hello all. Please forgive a simple question!
 I have downloaded and unzipped the latest version of Coq from the website 
but how do I actually get the thing to run?
...and where is the autoexec.bat file?

The install page says...
You may also want to specify where Coq has to look for your configuration
file .coqrc (not mandatory), e.g.:

    set HOME=C:\My_Documents\Coq

...is this also in the autoexec.bat file?

Thanks in anticipation!
Bill Brown.