The Coq mailing list

[Jevgenijs Sallinens <jevgenijs AT dva.lv>]

Quoting Jean-Marc Notin:

> The package available was bugged at the beginning. It should be fixed by
 now. Try downloading a fresh version from the ftp sites, and try to
 install it.

Quoting Benjamin Werner:

> Jean-Marc Notin put a new version of the coqide binary online recently
 which includes the dll.

 Did you re-try with the currently on-line version ?

Official on-line version is working now. Many thanks!
A bit unusual that I need to use coqc.opt instead of coqc in the  
command prompt,
but no much problems.
There are still problems with coqdoc initiation from command prompt:  
'Cannot exec ocamlrun', but I guess old version of coqdoc can be used  
also for 8.1
scripts. I will place others problems (not related with installation)  
to the bugs site.
Regards,
-- Jevgenijs.



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