The Coq mailing list

[<qornotq AT gmail.com>]

Hello
I have checked out the files from theh svn repo in order to use the
development version on Windows 7.

In the readme it says, "Alternatively, it is now possible (and even
recommended ...) to build Windows executables of coq from Linux thanks to a
mingw cross-compiler. If interested, please contact us for more details."
Could I please have these details?

 - Chris Chak