coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jean-Marc Notin <Jean-Marc.Notin AT inria.fr>
- To: coq-club AT inria.fr
- Cc: doczkal AT ps.uni-saarland.de
- Subject: Re: [Coq-Club] Coq+Ssreflect 1.3 on Windows?
- Date: Fri, 18 Mar 2011 11:30:00 +0100
- Organization: INRIA
Hi,
Btw, is it possible to build the ssreflect plugin against the binaryThis is a bug of the Windows installer. A new package should be available very soon that fixes this issue.
distribution of Coq? I tried, got a missing grammar.cmx(?) file, and
assumed no.
- [Coq-Club] Coq+Ssreflect 1.3 on Windows?, Christian Doczkal
- Re: [Coq-Club] Coq+Ssreflect 1.3 on Windows?, Jean-Marc Notin
- <Possible follow-ups>
- Re: [Coq-Club] Coq+Ssreflect 1.3 on Windows?, Daniel de Rauglaudre
Archive powered by MhonArc 2.6.16.