The Coq mailing list

[Jevgenijs Sallinens <jevgenijs AT dva.lv>]

Could anybody indicate what should be downloaded in order to install
new Coq  version.
I was trying coq-8.1beta-win.exe, but looks there are missing lot of files.
Also README.win seems not informative. It says:'See the file  
INSTALL.win for installation procedure', but where is is file?
Is there any way to compile Windows native version from source?

Many thanks for any information.

-- Jevgenijs.




----------------------------------------------------------------
This message was sent using Global DVA service: http://www.dva.lv