coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Kevin Sullivan <sullivan.kevinj AT gmail.com>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] coqide for 1.5.1~beta2
- Date: Thu, 13 Aug 2015 13:14:34 -0400
Brian, Ok, sorry. Been in my office all day, but didn't make it down to see you. I will have the VM ready later today. Let's do it tomorrow. --Kevin
On Thu, Aug 13, 2015 at 5:54 AM, Laurent Théry <Laurent.Thery AT inria.fr> wrote:
Hi,
is there a way to get coqide for coqide 1.5.1~beta2 under opam?
Thanks
--
Laurent
- [Coq-Club] Let lifting/unwinding?, Helge Bahmann, 08/10/2015
- Re: [Coq-Club] Let lifting/unwinding?, Gregory Malecha, 08/12/2015
- RE: [Coq-Club] Let lifting/unwinding?, Soegtrop, Michael, 08/12/2015
- [Coq-Club] coqide for 1.5.1~beta2, Laurent Théry, 08/13/2015
- Re: [Coq-Club] coqide for 1.5.1~beta2, Kevin Sullivan, 08/13/2015
- [Coq-Club] coqide for 1.5.1~beta2, Laurent Théry, 08/13/2015
Archive powered by MHonArc 2.6.18.